C反编译控制流分析——非结构化代码的处理

本文分析了程序代码中四种基本的非结构化形式及在反编译控制流分析时,对这四种非结构化形式的处理。保证反编译出来的高级程序可读性好,保持原程序的结构。本文还介绍了对主要非结构化形式的结构化变换及break和Continue的C语言特性的恢复。用GoTo语句处理一些非结构化的情况。     

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

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

C反编译实现中若干问题

反编译是一种能将低级语言翻译成高级语言的工具。本文对C语言反编译中有关技术进行讨论，指出在实现C反编译器中遇到的普遍性问题给予一般评述，提出了相应的解决方法。     

C反编译库函数识别的算法研究及实现

库函的识别是Ｃ语言反编译器的重要组成部分。本文首先分析了Ｃ库函数在中间代码中的存放方式以成模式；其次介绍了采用顺序－索引－链接技术构造Ｃ库函数特征表的方法，最后给出Ｃ库函数的识别算法。     

反编译及其实现方法

反编译是软件逆赂工程的重要组成部分。本文描述了反编译的研究方法，介绍了几个较成功的反编译系统，指出了反编译今后的发展方向。     

68000C反编译系统中的变量类型恢复

在反编译程序中,变量类型的恢复是最困难的环节。本文介绍68000C反编译系统中采用的类型恢复方法,并讨论引起类型恢复不确定的原因。     

反编译研究现状及其进展

一、反编译的定义、作用及其结构编译器的概念众所周知,但逆编译器的概念却还是很新奇,它允许将所定义的目标代码映射到高级表示。计算字典为编译和逆编译给出了下面的定义: 编译:转换高级语言成目标代码的程序……逆编译:一种试图…从机器代码转换回到与原程序相似的某种程序的程序。     

利用异常机制的C++类型恢复方法

二进制代码的逆向工程是一个底层的技术，被应用于计算机安全、系统验证、加密解密等相关领域。在逆向工程中，C++的反编译技术是一个难点，尤其是其类型信息的恢复。该文提出了一种利用异常处理机制的类型恢复方法，该方法可以用来分析出每个函数的所有局部类变量，还能分析出这个类的构造函数和析构函数的地址。该方法在特定的环境下可以准确高效地解决C++反编译中的一个难点。     

基于冗余代码的控制流混淆算法

目前的平展控制流主要是结合不透明谓词使用,例如混沌映射和同余方程算法。这些算法会引起大量额外开销。此外,这种结合不透明谓词的平展控制流混淆方法难抵御动态逆向攻击。针对这些问题,提出了在插入与原基本块结构类似、但数据随机生成且与原基本块不同的冗余块,使攻击者难以区分实际执行基本块的基础上,对实际执行基本块和冗余块进行控制流平展化处理,进一步混淆控制流结构。此外,构建分支函数动态赋值算法,对分支变量进行强化,提高混淆弹性。该控制流混淆算法在mbed TLS程序测试集上进行控制流、逆向工程和性能测试与分析,测试与分析结果表明该混淆算法不仅能大大提高混淆强度,还能有效保护程序控制流信息,抵抗动静态逆向分析。     

逆编译系统中开关结构的识别与恢复

开头结构的恢复是逆编译中的重要部分,也是很困难的部分。本文分析了C语言开关结构在可执行文件中的形式、特点和表示;定义了一种模式语言,用以描述开关结构引导区识别模板;介绍了开关结构识别程序和恢复程序的设计原理及实现方法,识别程序使用这些模板,识别开头结构引导区类型,获取相关信息。恢复程序可以根据这些信息将不同开头结构转换成统一格式的中间代码形式,使用该方法可以很容易地针对新编译器或新版本,在反编译系统中增添新模板。     

AspectualACME语言切点指示器的形式化描述方法

面向方面软件体系结构描述语言AspectualACME虽引入了切点指示器PCD(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述。针对这一问题,基于AspectualACME语言抽象语法树,设计了一阶逻辑语言LIAPCD(Logic Language forPCD)。在此基础上提出了AspectualACME语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。     

通信协议的形式描述及自动实现技术

在通信协议工程的主要开发作业中，形式描述和自动实现扮演着重要的角色。本文主要研讨通信协议的形式描述及自动实现技术。文中论述了协议的典型形式描述技术，主要包括半形式描述技术；ＡＳＮ．１和ＴＴＣＮ．标准形式描述技术：Ｅｓｔｅｌｌｅ，ＬＯＴＯＳ和ＳＤＬ。     

基于检测点设置依赖图和属性表的卷回恢复算法

为了解决检测点设置过程中的Domino效应问题及卷回恢复过程中的活锁问题,并最大限度地减小时间开销,提出了基于检测点设置依赖图和属性表的卷回恢复算法。同以前的算法相比较,该算法一方面节省了用于进程之间同步的时间开销,另一方面检测点设置及卷回过程中涉及少量的相关进程。对该算法的正确性进行了证明。     

XML描述KQML消息的研究与实现

KQML是一种较为成熟的代理通讯语言和通讯协议,而XML逐渐成为公认的一种代理通讯语言的发展方向。本文首先证明用XML对KQML消息进行描述是切实可行的。进而分析利用XML对KQML消息进行描述,提出了对XML文档进行分析的方法及用Java实现的方法。     

NDKAS中知识的理论表示方法及其描述语言的设计

知识的理论表示方法是基于属性描述的概念获取系统中一种有效的知识表示方法，它具有层次性，抽象性、模块性和完整性等特点。本文给出了理论表示方法及其描述语言的定义和应用实例。     

一种适用于过程控制系统建模的形式描述语言PROTOB

本文研讨一种适用于过程控制系统建模的描述语言ＰＲＯＴＯＢ。文中首先阐述了ＰＲＯＴ网的基本概念及其实例，在此基础上讨论了ＰＲＯＴＯＢ网，结合一个过程控制系统的控制流程，给出了它的ＰＲＯＴＯＢ模型 。     

关于从C语言方向对计算机软件工程的思考和分析

C语言是计算机的一种通用性程序设计语言,它拥有着汇编语言和高级语言的双重优点,它的应用范围相当广泛,既能编写操作系统软件,又能开发各个领域的应用软件,对于计算机软件工程的发展有着至关重要的作用。熟练掌握和灵活利用C语言编程是解决实际问题的关键。