-
题名8086 C语言反编译系统的设计及实现技术
被引量：2
- 1
-
-
作者
陈福安
刘宗田
李力
-
机构
合肥工业大学微机所
-
出处
《小型微型计算机系统》
CSCD
北大核心
1993年第4期10-18,31,共10页
-
基金
国家"七
五"科技攻关项目子课题
编号:68-4-3/01
-
文摘
本文介绍了8086 C语言反编译系统的结构设计和所实现的无符号信息的C语言反编译技术,即库函数模式识别技术,C子集中间语言,符号执行技术,基于规则的数据类型恢复技术,以及基于规则的ABC程序变换技术等,笔者应用上述技术在PC类微机上实现了8086 C语言反编译系统,该系统能将Microsoft C(Ver 5.0)小存储模式下无符号信息的8086目标代码程序转换成功能等价的C语言程序。
-
关键词
反编译系统
C语言
设计
实现
-
Keywords
Decompiling system Symbolic execution Pattern recognition of library- functions Data type recovery Program transformation
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名REF77反编译系统中的控制结构提取
- 2
-
-
作者
朱月香
沈明忻
-
机构
西南自动化研究所
-
出处
《兵工自动化》
1996年第1期24-27,共4页
-
文摘
控制结构提取是反编译系统中关键环节之一。高级语言中的控制语句和程序结构不可能仅从几条机器指令就能反映，它需要通过分析整个执行流的组成，转移入口关系才能抽取出来。本文介绍Fortran反编译系统REF77中执行流表mico．t的组成，及控制结构变换法则。
-
关键词
反编译系统
控制结构
执行流表
软件
计算机
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名程序变换的一种规范说明方法
被引量：1
- 3
-
-
作者
刘宗田
-
机构
合肥工业大学微型计算机应用研究所
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
1998年第1期87-90,共4页
-
文摘
文中给出了一种对程序变换进行分类的方法，提出了适合于更广义程序变换描述的四元组表示、程序变换的一种规范说明方法和规范说明语言的元语言ＳＭＯＰＴ．介绍了这一规范说明方法和ＳＭＯＰＴ在反编译系统ＤＥＣＬＥＲ的ＡＢ变换器的设计与实现中的应用．所实现的ＡＢ变换器能完成基本的数据类型恢复。
-
关键词
程序变换
面向对象
知识库
反编译系统
软件工程
-
Keywords
program transformations, specification metalanguage, ) Abstract data types, object oriented knowledge base, decompilation system
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名通过自学习生成库函数识别模板库
被引量：1
- 4
-
-
作者
刘宗田
-
机构
合肥工业大学微机所
-
出处
《小型微型计算机系统》
CSCD
北大核心
1996年第9期57-59,共3页
-
文摘
库函数识别是反编译中的重要的环节，也是难点之一。成功地识别库函数，不仅有利于反编译后继阶段的实现，而且对用户阅读理解反编译生成的高级语言程序大有助益。实现库函数识别，最困难的是为各种编译系统各个版本各种模式的库函数分别构造库函数识别模板库，这是工作量很大的任务。本文介绍了ＤＥＣＬＥＲ中所采用的通过自学习生成模板库的方法。该方法减轻了构造库函数识别模板库的工作量并降低了技术难度。该技术和工具将向用户开放，使用户能参与改进软件的功能。
-
关键词
自学习
反编译系统
库函数识别
程序语言
-
Keywords
Self-learning, Decompilation system, DECLER, Library functions recognition
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
