数字图像相关计算中的识别函数构造

本文通过建立数字图像相关检测的数学模型和构造新的识别函数,解决了在确定图像位移时图像之间伴随有较大刚体转动情况下的相关检测问题.为利用数字图像相关计算,进行微细观层次上的位移和变形测量提供了一种途径.

一般约束优化基于识别函数的模松弛算法(英文)

借助于半罚函数和产生工作集的识别函数以及模松弛SQP算法思想,建立了求解带等式及不等式约束优化的一个新算法.每次迭代中,算法的搜索方向由一个简化的二次规划子问题及一个简化的线性方程组产生.算法在不包含严格互补性的温和条件下具有全局收敛性和超线性收敛性.最后给出了算法初步的数值试验报告.

基于静态和动态混合分析的内存拷贝类函数识别

缓冲区溢出等内存错误漏洞的产生往往来自对内存拷贝类函数的不当使用.对二进制程序中的内存拷贝类函数进行识别有利于发现内存错误漏洞.目前针对二进制程序中内存拷贝类函数的识别方法主要借助静态分析来提取函数的特征、控制流、数据流等信息进行识别,具有较高的误报率和漏报率.为了提高对内存拷贝类函数识别的效果,提出一种基于静态和动态混合分析的技术CPSeeker.所提方法结合静态分析和动态分析各自的优势,分阶段对函数的全局静态信息和局部执行信息进行搜集,对提取到的信息进行融合分析,进而识别二进制程序中的内存拷贝类函数.实验结果表明,尽管CPSeeker在运行时间上有所增加,但在内存拷贝类函数识别的效果上,其F1值达到了0.96,远优于最新的工作BootStomp、SaTC、CPYFinder以及Gemini,并且不受编译环境(编译器版本、编译器种类、编译器优化等级)的影响.此外,CPSeeker在真实的固件测试中也有更好的表现.

基于控制流和数据流分析的内存拷贝类函数识别技术

内存错误漏洞仍是当前网络攻击中造成危害最严重的漏洞之一.内存错误漏洞的产生往往与对内存拷贝类函数的误用有关.目前针对内存拷贝类函数的识别主要借助于符号表和代码特征模式匹配,具有较高的误报率和漏报率,并且适用性较差.提出了一种内存拷贝类函数识别技术CPYFinder(copy function finder).该技术在内存拷贝类函数控制流特征的基础上,将二进制代码转换为中间语言表示VEX IR(intermediate representation)进行数据流的构建和分析,根据内存拷贝类函数在数据流上的特征进行识别.该技术能够在较低的运行时间下对多种指令集架构(x86,ARM,MIPS,PowerPC)的二进制程序中的内存拷贝类函数进行识别.实验结果表明,相比于最新的工作BootStomp和SaTC,CPYFinder在对内存拷贝类函数识别上具有更好的表现,在精准率和召回率上得到更好的平衡,并且运行时间与SaTC几乎相等,仅相当于BootStomp耗时的19%.此外,CPYFinder在漏洞函数识别上也具有更好的表现.

基于NARX神经网络的系泊系统传递函数识别方法

提出一种基于NARX(Nonlinear Auto-Regressive Model with Exogenous Inputs)神经网络和谐波探测法的非线性系统传递函数识别方法。该方法可基于实测响应数据,采用NARX神经网络方法对结构响应模型进行训练。在此基础上采用谐波探测法得到系统响应传递函数。选取深海半潜浮式平台及系泊系统为研究对象,计算平台及其系泊系统在不同波浪工况作用下的时域耦合响应,以波高和系泊缆张力时程作为数据集,利用NARX神经网络结合谐波探测法辨识此系泊系统的响应传递函数。采用识别的传递函数预测系泊缆在不同海况下的张力响应,并与数值计算结果进行对比,证明NARX神经网络结合谐波探测法可较好地识别系泊浮体系统的非线性响应传递函数,并能够对系泊系统的张力响应进行准确预测。

一种简明易用的函数识别绘图编辑器的设计

利用编译原理、计算机图形学等知识以及VC工具,设计了一个函数计算和绘图软件,该软件具有计算并绘制函数图形、矩阵运算以及智能计算等功能。实验证明该软件可用于数学的学习与教学以及工程的简单计算等。

通过自学习生成库函数识别模板库

库函数识别是反编译中的重要的环节，也是难点之一。成功地识别库函数，不仅有利于反编译后继阶段的实现，而且对用户阅读理解反编译生成的高级语言程序大有助益。实现库函数识别，最困难的是为各种编译系统各个版本各种模式的库函数分别构造库函数识别模板库，这是工作量很大的任务。本文介绍了ＤＥＣＬＥＲ中所采用的通过自学习生成模板库的方法。该方法减轻了构造库函数识别模板库的工作量并降低了技术难度。该技术和工具将向用户开放，使用户能参与改进软件的功能。

C反编译库函数识别的技术难点及解决方案

库函数的识别是C语言反编译器的重要组成部分。此文论述了C反编译库函数识别中存在的技术难点，并给出其解决方案。

函数识别器在接触问题中的运用

函数识别器是一种采用算符优先算法的语法分析器 ,可识别在程序运行过程中输入的任意复杂的带变量的函数表达式 ,并根据变量的当前值计算出表达式结果。接触问题广泛地存在于工程结构、机械制造、加工工艺等领域 ,其复杂性主要在于边界条件的非线性结构。以函数识别器为工具 ,将接触状态表示为目标函数 ,引入到接触判定过程。采用二级控制方法实现用目标函数控制网格的变动 ,显著提高计算精度和收敛速度 ,计算实例说明此方法有效。

“函数识别器”在结构优化设计中的应用技术研究

借助于“函数识别器”为工具 ,采用“二级控制”法实现了用设计变量控制网格的变动 .同时在单元刚度对设计变量的导数计算、目标函数的敏度分析等方面提出了新的解决方案和思路 ,并通过实例说明此方法的合理性和可行性 .

二进制代码内联库函数识别

内联库函数识别是二进制代码分析的难点问题之一。主要的挑战来自在编译优化的作用下,内联库函数在目标函数中存在多态性和不连续性。本文构建函数的执行流图,将内联库函数识别问题转化为执行流图子图同构测试问题。实验中,对四个常被编译器内联的字符串操作函数,使用MSVC10和ICC14这两个编译器在5个开源软件中进行内联库函数识别测试。实验结果表明,本文方法可以有效识别二进制代码中的内联库函数。

C++逆编译中库函数识别研究

逆编译系统中库函数识别是最基本的功能之一,而针对C++语言的逆编译研究相当少见。文章在库函数识别方面分析了C++语言与C语言的异同之处,归纳了C++库函数识别的要点,提出并实现了一个基于特征识别的算法,在部分库函数上进行实验并取得了成功。

识别恶意软件中的加密函数

针对恶意软件通过加密函数规避安全检测和流量分析这一问题,提出了一种识别恶意软件中加密函数的方法。通过识别恶意软件动态执行路径中的循环、循环的输入和输出参数,构建恶意软件的动态循环数据流图,通过循环数据流图提取循环的输入和输出参数集合,设计已知加密函数的参考实现对循环输入集合中的元素进行运算,判断输出是否能够匹配输出集合中的元素从而识别恶意软件中的加密函数。实验证明此分析方法能够分析严重混淆的恶意软件其传输载荷所采用的加密函数。

ARM静态库函数识别技术研究

深入地分析了"dcc"对库函数的研究,针对运行在ARM处理器上的应用程序,对静态库函数识别提出在二进制级别上动态提取库函数特征文件的方法。该方法利用ARM处理器汇编特征提取函数模块,并在此基础上根据汇编代码的寻址方式编码特征提取模式文件并进行动态签名的生成,结合哈希算法对生成的待识别应用程序函数签名和已有签名文件进行特征匹配,识别库函数相关信息。该方案能准确的识别库函数,并有效地解决识别过程中库文件过多和匹配效率之间的矛盾。

符号积分被积函数识别的一种新方法——因子特征数识别法

本文在分析已有符号积分被积函数识别的方法后,提出一种新的更有效的识别的方法——被积函数因子特征数识别法。

反编译中的库函数识别技术研究

为提高反编译过程的整体效率,研究了静态库函数和动态库函数识别技术.结合静态库函数识别的难点,对比分析了面向对象和面向过程2类语言代码对函数识别的影响;结合标准库、专业库和用户库各自的编制方式及特点,对静态库函数的识别模型及其中涉及的一些关键技术,如函数特征的选择、提取与存储、函数识别预处理和特征模式匹配等进行了分析,并且对库函数特征选取、函数模块识别等重要问题给出了应用实例或算法.根据动态库的特点,对使用了一般调用方式和特殊调用方式的动态库函数识别方法进行了简要的分析与论述.最后对库函数识别技术进行了分析总结与展望,对进一步提升程序逆向分析的效果和效率有着重要的参考价值.

基于数据流特征的比较类函数识别方法

嵌入式设备已经随处可见,它们常常出现在安全领域的关键位置和靠近终端的隐私场所。然而,最近的研究表明,很多嵌入式设备存在后门,发现最多的为硬编码后门(即口令后门)。在口令后门的触发过程中,字符串比较函数(比较类函数)是不可或缺的,其重要性不言而喻。目前,针对比较类函数的识别主要借助于函数签名和控制流特征的匹配,前者不适用于对未知的比较类函数进行识别,并且受编译环境的影响较大,后者具有较高的误报率和漏报率。针对上述问题,提出了一种新颖的比较类函数识别方法CMPSeek。该方法在函数控制流的基础上,对比较类函数的数据流特征进行分析并构建了识别模型,用于对二进制程序中比较类函数的识别,并且适用于剥离的二进制程序(Stripped Binary)。此外,将二进制代码转换为中间语言VEX IR指令,以支持ARM,MIPS,PowerPC(PPC)和x86/64指令集。实验结果表明,当缺少源码、函数名等信息时,相比FLIRT和SaTC,CMPSeek在精准率和召回率上都有着更好的结果。

一种改进的密码函数识别方法

密码函数识别在恶意代码分析、软件脆弱性分析等领域具有积极的作用。传统的密码函数识别算法由于识别方式单一而存在识别精度不高的问题。针对上述问题,提出一种改进的基于数据流分析的密码函数识别方法,将数据流分析引入密码函数识别中,利用递进式多特征的方法对密码函数进行识别。实验表明,该方法能够准确定位密码函数在应用程序中的位置,相比现有方法提高了密码函数的识别精度。

基于函数识别的主动防御技术研究

随着日益增加的系统安全脆弱性以及广泛使用的因特网技术,病毒等破坏性代码也日益猖獗,严重威胁着网络安全。本文介绍一种静态分析可执行程序代码的新方法,针对程序中使用的API函数及库函数序列静态地分析程序的行为,实现在不运行程序的前提下预警防范一些不安全行为,并基于此提出了一种基于函数识别的主动防御技术。

C++逆编译中模板库函数识别研究

随着经济与科技的快速发展,我国信息工程领域实现了较为长足的进步,而C++逆编译在可执行代码分析、软甲维护中的广泛应用就是这一进步的最直观体现,为此本文就C++逆编译中模板库函数识别展开了具体研究,希望这一研究能够为相关从业人员带来一定启发。