IBM代码反汇编程序ICDA的反汇编算法与实现

本文叙述了IBM代码反汇编程序ICDA的反汇编算法。使用该算法可以使IBM 370代码程序(称靶程序)通过动态模拟执行并结合静态分析自动地区分指令和数据,实现反汇编。     

基于控制流精化的反汇编方法

反汇编过程是整个逆向工程的基础和重要部分。为提高反汇编过程的效率及反汇编结果的准确度,通过对传统反汇编方法的探究,提出了一种基于控制流图精化的静态反汇编方法。该方法把二进制代码通过函数定位切分成单个函数,然后再对单个函数生成初始的过程内控制流图,使用图论的方法与汇编指令的特征匹配相结合,提炼出真实的控制流图。使用CoreUtils中的22个程序作为测试基准,使用2种线性扫描算法作为比较基准。实验结果表明:本文所提出的反汇编方法比Objdump快63.2%,并且可以高度精确地绘制出控制流图,因此具有准确度高、效率高的显著特性。     

在逻辑分析卡上实现在线反汇编

讨论了在线反汇编。即使用探头直接获取ＣＰＵ信息进行反汇编，以得到运行程序的汇编代码。并以８０８６ＣＰＵ为例，叙述了使用逻辑分析卡实现在线反汇编的硬件原理与软件设计。     

一种有向图最长路的算法、灵敏度分析及其应用

本文给出了一种有向图的定义,得到了这种有向图从始点到其它任一顶点之间最长路的算法。在不影响整个最长路的条件下,通过边上机动资源变化的分析,给出了这种有向图灵敏度分析的方法,解决了这种有向图在应用过程中的优化分析问题。     

生成有向树的U.D.算法及其BASLC源程序

生成伴随有向图中全部给定参考点的有向k-树是以k-树法解有源网络的关键步骤。本文给出生成有向树的一种新算法-U.D.法。该法为迄今所发表的算法中最简单的一种,且具有高的效率,可以编成简短的BASLC程序,应用于人机对话式的机助网络分析。     

抵御静态反汇编的代码混淆算法

bf算法是一种针对静态反汇编的混淆算法,但由于bf函数跳转地址的固定性,很容易被逆向还原. 据此提出一种基于bf算法的改进型代码混淆算法,利用bf算法中的垃圾指令重定位bf函数的跳转地址并隐藏二次跳转地址,新算法改进了bf算法中的缺陷,同时提升了bf算法针对静态反汇编的混淆复杂度. 实验中对测试样本分别进行基于bf算法的混淆和新算法的混淆并使用静态反汇编工具IDA Pro进行测试,实验数据表明新算法在性能和安全性方面有显著的提升.      

基于边收缩的最优装配序列求解方法

为确保最优装配序列的求解,本文提出一种新的最优装配序列求解方法.首先扩展装配有向图结点的信息为一个边被收缩图,在此基础上给出扩展的装配有向图的概念,接着通过连续的边收缩生成扩展的装配有向图.为了便于装配序列评价,又给出了装配任务有向图的概念,并将扩展的装配有向图转换成装配任务有向图,最后采用动态规划算法在装配任务有向图中搜索从初始任务到终止任务的最短路径以求解最优装配序列.     

有向欧拉图和时序机最小功能测试序列

本文提出了一种判别有向图是否欧拉图的充分必要条件,并给出了在有问欧拉图中找一条欧拉巡回的新的算法。除此还给出了在非有向欧拉图中找一条最短欧拉道路的算法。利用上述结果可以得到时序机的最小功能测试序列。因而使时序机最小功能测试问题得到解决(参考文献〔2〕p76),并证明对于给定时序机的状态图而言算法是多项式复杂性的。     

反汇编基本方法及Z280指令系统反汇编的实现

Ｚ２８０ＭＰＵ是ＺＩＬＯＧ公司新推出的高性能１６位微处理器。为分析Ｚ２８０ＭＰＵ系统软件，本文论述了反汇编的基本方法——直接生成法和查表转换法，给出了指令目标代码基本码的概念。结合这一概念，本文对２２８０指令系统做了全面的分析，并运用静态分析方法实现了２２８０指令系统的反汇编工具Ｕ２２８０。     

PE文件中的库函数识别算法

本文提出了一种对PE文件中库函数进行识别的方法,首先对PE文件的格式进行了介绍,在进行识别时对PE文件进行反汇编,然后对汇编代码进行识别。最后给出了识别库函数的非展开形式和展开形式的方法。     

Z—80目标程序的自动重定位

本文讨论 Z-80目标程序的静态自动重定位问题.文中给出 Z-80指令的重定位字典和相应的重定位算法,据此可自动、准确、快速重定位任何 Z-80目标程序.     

嵌入式软件机器码的智能反汇编方法研究

提出采用静态扫描的方法，研究出了一套完整的扫描算法．通过确定出碰到间接转移类指令时转移地址的范围，从而遍历指令运行所有可能的路径，实现嵌入式软件机器码的智能反汇编。     

Z-80反汇编程序设计

反汇编程序的任务在于快速.准确地将目的程序生成汇编语言源程序.本文讨论了一种在IBM-PC机上运行的Z-80反汇编程序的设计方案,其中包括输入Z-80目的程序的方法.     

Java中空指针引用故障的静态检测方法

空指针引用是程序中存在的比较常见的问题,由于它在程序中比较隐蔽,用动态方法测试耗时又耗力且很难达到全面覆盖的效果。该文介绍了一种针对空指针引用故障的静态分析方法,将空指针引用问题抽象为一类故障模型,并以故障模式状态机来形式化描述此类故障模型,然后根据故障状态机的创建条件及待检测代码的语义信息确定是否创建该类型的状态机,并将创建的状态机实例置于控制流图入口节点,根据数据流分析的结果对故障状态进行迭代以检测空指针引用问题。该方法已在缺陷检测系统(defect testing system,DTS)中应用,对Robocode等工程的检测结果证明本文方法可以有效地检测出空指针引用问题。     

动态矩阵控制算法的改进和应用研究

推导了改进的动态矩阵控制算式,对其特性进行了理论分析和数字仿真,证明了该算法可以用于解决具有纯滞后的过程和非最小相位过程的控制问题,并且具有极强的鲁棒性。为了使该算法能适应时变过程的控制需要,加入了脉冲响应系数辨识,并对这种辨识进行了简化。在数字仿真的基础上,作者用Z-80汇编语言编制了自适应动态矩阵实时控制软件,闭环模拟实验证明了该控制软件可以广泛地应用于实际过程控制。     

基于图的流行排序的视觉跟踪

为了克服基于检测的目标跟踪中的模型漂移问题,在基于检测的目标跟踪框架下提出一种新的基于图的流行排序的目标跟踪方法。该方法能够抑制在跟踪过程中目标变形、尺度变化以及遮挡等带来的背景信息的影响。首先,把目标矩形框划分为不重叠的图像块,构造一个k-正则图,即以这些图像块为图结点,构造k-正则图,边权定义为结点之间的底层特征的相似性。其次,为每一个图像块分配一个权重,用于表示该图像块在目标表达中的重要性,以此抑制背景信息的干扰,并通过半监督的方式进行计算。特别初始化一些背景或目标图像块,设其权重为1,其他为0,通过流行排序算法计算所有图像块属于背景或目标的权重。此外,使用多尺度特征金字塔的方法处理跟踪过程中的目标尺度变化,同时提高了初始图像块的可靠性。最后,把所有图像块的底层特征进行加权,连接成一个向量,作为矩形框的特征表达,并使用结构化输出(Struck)算法进行跟踪。在几个公共视频序列上进行了实验,结果表明,研究方法的跟踪性能极大地超过了其他跟踪方法。     

一种基于图论的LDPC码构造算法的研究

在对低密度奇偶校验(LDPC)码进行分析的基础上,提出了一种基于图论的构造算法.该算法从对LDPC码的校验矩阵进行图论分析入手,分析了组成校验矩阵中的圈的校验点之间的关系,得出了由这些校验点对应的结构图是彼此同构的欧拉图的定理,利用这个定理以及根据定理得到的性质,可以通过构造一个辅助的校验点结构图的邻接矩阵,渐进地生成LDPC码的校验矩阵,在生成的过程中避免短长度圈的出现.仿真实验表明提出的算法对中短码长的LDPC码构造具有良好的性能.     

基于直方图的形状描述及骨架图匹配算法

考虑物体形状的多变性,给出了一种基于二维直方图的物体形状描述及骨架图匹配算法.该算法利用骨架长度和骨架上点的圆盘半径作为特征量来描述形状.首先基于二维直方图给出一种形状及骨架端点的特征描述方法,其次结合改进的最优子序列匹配算法实现骨架图的匹配.算法中的形状及骨架端点的特征描述在一些常见非刚性变换下具有不变性.实验结果表明,该算法能够实现一些非刚性变换下的物体形状的骨架图匹配和较高精度的形状检索,且复杂度较低.     

Computation of Edge-Edge-Edge Events Based on Conicoid Theory for 3-D Object Recognition

The availability of a good viewpoint space partition is crucial in three dimensional(3-D)object recognition on the approach of aspect graph.There are two important events,depicted by the aspect graph approach, edge-edge-edge(EEE)events and edge-vertex(EV)events.This paper presents an algorithm to compute EEE events by characteristic analysis based on conicoid theory,in contrast to current algorithms that focus too much on EV events and often overlook the importance of EEE events.Also,the paper provides a...     

RS乘积码的TURBO译码

提出了一种采用ＱＡＭ调制ＲＳ乘积码的ＴＵＲＢＯ译码算法，由于该算法充分利用了乘积码行码和列码之间软判决信息的交互传递，从而发挥了乘积码的巨大潜力，与以往的乘积码的译码算法相比大大提高了编码增益，另外，本算法避免了以往的二进制ＢＣＨ码在ＱＡＭ调制下所需的信息分离而引起的信息损失，因而具有更好的性能，通过计算机模拟，表明了这种码的性能距离它的香农限约２．７ｄＢ。