程序反汇编的一种方法

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

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

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

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

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

一种基于CRC32编码的PE可执行文件加密方法

在深入研究CRC编码原理和分析PE可执行文件格式的基础上,提出一种基于CRC32编码的PE可执行文件加密方法．实践证明该加密方法具有较好的安全强度．     

一种基于故障模式状态机的测试方法

基于状态机对故障模式进行了统一的描述，使得故障描述更准确、无二义性。为了避免路径组合爆炸，提出基于控制流的状态集迭代分析算法进行故障检测，可以使算法的计算复杂性由O（P）（P是路径数目）减少为O（N＋E）N）（N是控制流图节点数，E是控制流图边数）。由于状态机的独立性，对控制流图进行一遍迭代可以同时计算多个故障模式，大大提高测试效率。同时，该方法还采用了带条件的状态计算可以较好地减少误报的情况。     

基于PE文件状态的病毒检测方案设计

Win32PE病毒是Windows系统下技巧性很强的病毒，主要感染PE格式的可执行文件。本文对PE格式进行了详细研究，总结了此类病毒用到的相关技术，如重定位，如何获取API函数地址等，并透彻分析了CIH病毒代码。通过对大量病毒和染毒文件的剖析，总结出了一系列的与PE文件头、节表有关的染毒标志性行为，利用这些特征行为设计了基于PE文件状态的病毒检测方案。     

提高累计流量一致性的一种新方法

针对静态容积法水流量标准装置流量一致性问题，本文提出一种等面积补偿法，可有效提高水表检定的重复精度，保证流量稳定度不低于0.2%。     

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

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

一种PE文件RSA验证加密算法

研究了非对称RSA加密算法及PE文件结构,基于Derome的RSA密钥快速生成方法,提出了利用高级语言ASM编写嵌入RSA验证DLL和直接修改PE文件来加密Win32平台下的PE可执行文件的方法。该方法避免了耗时的Euclidean算法,可并行处理,同时在PE文件验证时嵌入了DLL来实现,具有很好的安全强度。     

一种基于RSA的软件保护方法

本文提出并实现了一种基于RSA的融合多种加密技术的软件保护方法.软件盗版一直是困扰开发者的一个大问题.为了最大限度的保证软件在有效的生命周期内不被破解,本方法在RSA加密算法的基础上融合了防爆破、反静态分析以及防调试跟踪等技术,提升了保护技术的健壮性和鲁棒性.实验表明,用本方法对软件进行保护实用、有效,并且对可执行文件的大小和性能影响都很小.     

基于网格技术的软件编译优化方法的研究

根据网格环境中的下一代软件模型,提出设计一个闭环反馈的编译系统,并采用外挂式的方法实现编译优化模块;将传统优化方法算法、代码压缩技术、负载平衡技术,与编译系统收集的资源信息结合在一起,研究动态优化方法,并建立优化算法评估模型,研究分布软件的适应性问题.     

基于源代码的内存泄漏静态分析方法

在很多大型C、C++程序中,内存泄漏是一种十分常见的问题.内存泄漏是很难识别的,因为它唯一的特征就是内存消耗的增长.对内存泄漏产生的原因进行了分析,并且提出了一种基于可执行源码的静态分析方法.对可执行源码进行预处理,生成抽象语法树和控制流图,并且计算出所有可达路径,然后在每条可达路径上进行内存泄漏故障的检测和分析.此方法已在缺陷检测系统(DTS)中进行验证,通过对大量GCC开源工程的测试,证实本方法有效的检测出内存泄漏的故障.     

Linux和Unix编译链接配置文件分析

复杂程序设计本身是继承性和合作性的载体,而如何快速编译链接源文件和库文件是提高项目开发效率的前提。根据EFIT系统程序设计中的编译链接,详细分析了基于Linux和Unix环境下Make命令和Makefile文件,对研究不同编译环境下编译链接配置文件具有较好的借鉴意义。     

关于统计指数编制方法的因素分析法

在多年的统计教学中发现 ,学员、尤其是统计基础较差的学员 ,感觉最难理解的统计理论问题就是统计指数的编制及分析方法。本文从统计指数、同度量因素的概念出发 ,对统计指数的编制原则、编制方法及具体步骤进行通俗、形象化的表述 ,是统计教学工作的一种实用技巧与经验总结。     

基于扩展的双曲同余码/素数码的二维光正交码

构造了一种扩展的双曲同余码(EHC)，用该码作为时间扩频伪随机序列和以素数码(PC)作为波长跳频伪随机序列，形成了一种新的二维光正交码EHC／PC．与EQC／PC相比，两者的码字数相同，互相关性能相当，但前者扩频系数和码重较小，可以提高用户的数据速率并降低对光编／解码器的要求．模拟计算表明，当同时使用的用户数较少时，EQC／PC的误码率比EHC／PC略低；当同时使用的用户数中等或较多时，两者的误码率性能相当．因此，EHC／PC比EQC／PC更适合于同时使用的用户数中等或较多的光码分多址(OCDMA)系统．     

适用于实际系统的改进Turbo码最大后验概率译码

采用分块译码算法来解决Turbo码最大后验概率（MAP）译码存储最大，时延大的问题，分块译码将长帧分成若干较短的子帧进行处理，边接收边译码，因而缩短了译码时延，由于每次仅需存储若干相邻子帧的前后矩阵值，从而减小了存储量，根据一种通用的正反向处理器配合方案，计算出此方法相对于传统算法存储和时延减少量的一般表达式，并在对数域详细推导出算推导出算法流程，仿真表明，在一定范围内，分块译码算法性能随训练长度的增加而提高，采用此算法后，时延大大减小，存储量减小为传统对数成最大后验概率译码（LOG－MAP）算法的2／n，便于实际应用。     

一类基于辛空间的带仲裁的新认证码

带仲裁的认证码(A2-码)能解决通信系统中发方与收方互不信任的问题.利用辛几何构造了一类新的A2-码.计算了码的参数,当编译码规划都按等概率分布选取时,计算出各种攻击成功的概率.     

在TMS320C80上实现的一种可变长解码算法

为提高在ＴＭＳ３２０Ｃ８０上开发Ｈ．２６３全软件解码系统的解码速度，减少片内ＲＡＭ与片外数据交换，提出了一种可变长解码（ＶＬＤ）算法．该算法根据Ｃ８０的高速并行处理能力和只有很小片内存储空间等特点，对ＶＬＤ码表进行设计．使用该算法，在Ｃ８０的一个片内ＲＡＭ中就能存放Ｈ．２６３的所有ＶＬＤ码表．为与目前较常用的逐位查找解码树方法和ＲｅｚａＨ方法比较，对ＭｉｓＡｍｅｒｉｃａｎ图象序列的７０帧图象进行实验，其解码速度是逐位查找解码树方法的２倍，比ＲｅｚａＨ方法快９．４％，最终可实现ＣＩＦ格式的１２．５帧／ｓ的解码速率．该方法同样适用于分析中需考虑内存及解码速度的其他系统中．     

一种基于伴随式的乘积码迭代译码算法

通过改进传统线性分组码的伴随式译码算法，提出了一种低复杂度的列表译码算法，该算法通过组合线性分组码校验矩阵中权重较小的列向量进行译码并正确计算出各码字元素的软输出信息，应用该算法可以构造乘积码迭代译码器，比较其他同类算法，该算法不仅性能较好，适用码型范围较广，而且可以根据具体情况在译码复杂度和译码性能两者之间做出折衷选择，分析和仿真结果表明，该译码算法在误码性能和译码复杂度方面都优于传统的乘积码失代译码算法，能够有效应用于通信系统中实现纠错，具有很大的实际应用价值。