反汇编翻译器的自动生成系统IATG

本文提出一个通用的反汇编翻译器的自动生成系统HZR-IATG.IATG包括:机器指令描述语言HZR-IDL,系统控制程序、表构造程序和反汇编翻译程序.它是基于本文讨论的特征分类树识别算法,运用自动机原理而在DJS-130机器上实现.本文侧重讨论IATG的基本思想、算法、构成和特点.     

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

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

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

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

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

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

程序反汇编的一种方法

本文以Z80机为例,给出了一种反汇编目标代码的算法。借助于加权有向图这一数学工具,将机器代码的反汇编问题转化成有向图的遍历问题,可很快地反汇编出目的码的符号指令码及数据区代码,大大地提高工作效率。该算法在本文中虽是以Z80机为例给出,但不难推广到其它机种。     

用GAL加密EPROM技术方法探讨

由于借助编程工具可以轻易地复制EPROM芯片中的程序,且EPROM内部起译码作用的与阵列的不可编程性,使得通过反汇编破译芯片中的程序相当容易。利用GAL的加密特性,对写入EPROM中的程序进行加密的方法进行了探讨。     

ASP.NET程序实现安全注册

ASP.NE工程序同其它程序一样,都可以通过反汇编程序反编译.比如Salamander和Refelector就是.NE工程序反汇编的两个工具.那么,如何对我们做的程序及项目进行许可证管理呢?     

MCS—51反汇编打印模块设计

本文分析了MCS—51指令系统的结构、特点和直接寻址空间的组成,介绍了反汇编程序设计方法和反汇编打印接口。反汇编打印模块能在开发机上任何2K程序存储器地址空间工作,把MCS—51指令机器码生成汇编语言并按其标准格式打印出来,也可打印机器码清单或数据,适用于各种通用打印机,并具有自动换页功能。     

一种气象卫星云图数据压缩算法的提出和应用

本文提出气象卫星云图数据预测编码的压缩算法,与该算法对应的一个汇编语言程序在IBM微机上通过.实际应用表明该算法能有效地压缩云图数据,节省云图资料的存贮空间,提高云图数据的传输速度,是一种实用可行的压缩方法.     

程序理解及汇编源程序辅助理解工具TALU

本文讨论程序分析(理解)的理论和方法,重点阐述用于分析的扫描算法,在此基础上简单介绍我校开发的、能帮助程序分析人员分析理解汇编源程序的工具TALU。开发该工具的目的在于降低软件理解对人的智力依赖程度,提高分析人员理解程序的效率和准确度。TALU可以对IBM/PC汇编语言程序提供较强的综合分析能力。并对分析结果提供各种形式的输出报告。     

多目标拆卸序列优化问题的分散搜索算法

针对拆卸序列优化问题以最小拆卸时间和最大拆卸收益为优化目标建立了多目标优化数学模型.应用线性加权方法将多目标优化问题转换为单目标优化问题,并提出了一种改进的分散搜索优化算法.算法采用保持优先关系的交叉过程(PPX)作为子集解的组合算子,通过局域搜索算子改进组合算子产生的新解.引用数值算例对模型和算法进行了验证,结果表明该模型及算法求解多目标拆卸序列优化问题有效.     

基于矩阵运算的产品拆卸过程规划

以模糊Petri网为工具,给出了模糊产生式规则推理Petri网模型,并将模糊Petri网与矩阵运算相结合,提出了一种模糊推理过程的形式化推理算法.在此基础上,针对产品拆卸过程中知识具有不确定性和模糊性的特点,采用模糊推理Petri网建立了产品拆卸路径决策模型,并通过实例,对所提出的拆卸路径决策算法进行了论述,结果表明此决策模型在产品拆卸过程规划中具有很强的并行处理能力,它可以根据产品在拆卸过程中零部件的信息对每一步操作做出适时的智能化决策.     

基于蟑螂算法的产品拆卸序列规划

文章为研究废弃产品的拆卸序列规划,首先建立了产品拆卸模型混合图,描述零部件之间的连接关系和优先关系,推导出可拆卸性条件;其次,通过几何推理生成产品可行的初始拆卸序列,建立目标函数并构建适合拆卸序列规划的蟑螂算法;依据初始拆卸序列和其他控制参数,结合蟑螂算法对拆卸序列进行优化得到最优解;最后,通过实例验证了该方法的可行性...     

再制造系统能力约束下拆卸批量计划优化方法

针对再制造系统中能力约束下的拆卸批量计划问题,应用两阶段启发式遗传算法进行了优化求解.首先对再制造产品结构进行了描述,建立了再制造系统中能力约束下的拆卸批量计划优化模型;其次在不考虑能力约束情况下应用遗传算法求解出初始的拆卸批量计划,其中,染色体编码采用拆卸决策变量来表示,同时对适应度函数进行了线性变换,设计了具有自适应的交叉概率和变异概率;然后应用转移算法对初始得到的批量计划进行了修正,使其符合拆卸能力的约束.大量随机算例的仿真实验说明所提出的算法不论在寻找最优解方面还是在求解速度和稳定性方面,都要大大优于精确算法,能够较好地解决实际生产中面临的拆卸批量计划问题.     

基于遗传算法的产品拆卸线平衡问题研究

对废旧产品进行回收再利用,是节约资源和保护环境的有效方式.产品拆卸是实现废旧产品回收再利用的重要手段,是实现产品生命周期完整性的必要环节.本文针对产品拆卸线的特点,构建了拆卸线平衡问题的多目标优化模型,并运用遗传算法对模型进行求解.本文的模型及方法可以为废旧产品的回收拆卸提供理论指导.     

装配过程稳定性分析

建立了面向装配过程稳定性分析的装配模型。从装配操作的稳定性和子装配体稳定位姿两方面分析装配过程的稳定性．基于支撑矩阵和增强邻接矩阵构建拆卸操作稳定判别算法来反推装配操作的稳定性．基于软联接图，通过计算子装配体内部自由度的方法来求解子装配体稳定的装配位姿．该方法被用于虚拟装配／拆卸过程中，开发了虚拟环境下的装配／拆卸原型系统，以支持拟实的装配／拆卸规划．     

基于Tabu搜索与遗传算法研究拆卸序列优化

针对废弃装配体的拆卸序列优化,提出建立描述装配体结构的干涉一自由矩阵以及“拆卸楔”的概念和算法,据此计算各个零件从装配体上可以拆卸下来的方向和次序．鉴于遗传计算过程中,其邻域往往过早地收敛于局部优化点上,于是将Tabu搜索组合到遗传算法之中．实例验证表明,用这种组合优化方法解决装配体拆卸序列优化问题,所生成的可行拆卸序列在适应度函数值、数量、分布范围等方面均优于单纯的由遗传算法生成的结果．     

基于基本块签名和跳转关系的二进制文件比对技术

基于基本块签名和跳转关系的二进制文件结构化比对技术,对已有的二进制结构化比对算法进一步改进,提出一种基于基本块签名和基本块之间跳转关系的函数控制流图比对算法。即首先提取二进制文件反汇编后的函数控制流图信息,然后对图中的基本块进行签名匹配,在签名匹配的基础上再进一步利用邻接矩阵进行边匹配,最后利用匹配的基本块计算函数相似度和文件相似度,并开发出比对工具BinCompae。研究结果表明:相对于源码比对工具和几个常用的二进制补丁比对工具,针对常见的代码抄袭方式,BinCompae均能检测出99%以上的相似度;此外,BinCompare还能检测出语义不变,代码形式改变的抄袭方式。因此,基于基本块签名和跳转关系的结构化比对算法针对二进制文件比对具有很高的准确性和实用性。     

基于多目标蚁群算法的复杂设备拆卸序列规划

针对复杂设备转化成混合图信息模型后面临的组合爆炸和搜索爆炸问题,提出了一种改进的Louvain算法,对其模型进行社团化处理。将拆卸工具、拆卸方向改变次数以及拆卸时间作为优化目标,构造了基于多目标蚁群算法搜索社团划分可行解;并得出由多个Pareto解构成的平衡解集。最后结合直升机旋翼,利用所提方法进行算法验证;对比未被社团化处理的多目标蚁群算法而得出的拆卸序列,在算法运行效率上提升了17.2%;且复杂设备中紧密度越小零件占比越多时,运行效率越高;对比单目标蚁群算法社团化后得出的拆卸序列,在迭代次数相同的条件下,更易得到较高效率的解。实验结果表明,在实际拆卸序列规划问题上,该方法为方案设定人员提供了更合理高效的选择。