作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

›› 2002, Vol. 28 ›› Issue (11): 103-.

• 论文 • 上一篇    下一篇

符号执行过程的DFA和CFA

陈凯明,刘宗田,王武荣,叶勇   

  1. 中国科学技术大学计算机科学技术系,上海大学计算机学院,中国科学技术大学计算机科学技术系,中国科学技术大学计算机科学技术系 合肥 230052;合肥工业大学微型机研究所,合肥 230009, ,合肥 230052
  • 发布日期:2002-11-25

DFA and CFA of Symbolic Execution

CHEN Kaiming1,2,LIU Zongtian3, WANG Wurong1,YE Yong1   

  1. (1. Department of Computer Science & Technology, University of Science and Technology of China, Hefei 230052; 2. Institute of Microcomputer, Hefei University of Technology, Hefei 230009; 3. Colleg
  • Published:2002-11-25

摘要: 将含有库函数名的汇编代码程序翻译成中间语言程序,然后再转换成高级语言程序可降低逆编译的复杂性。文章介绍了从汇编程序到中间语言程序的转换过程中,采用基于数据流和控制流分析的符号执行方法。该方法已在基于知识的逆编译系统DECLER中实现。

关键词: 逆编译, 中间语言, 数据流, 控制流

Abstract: Assembler code program containing library function name is firstly translated into intermediate language program and then into high level language program to reduce complexity of decompilation. Symbol execution based on control flow and data flow is described in the translating assembler program into intermediate program. The method has been implemented in the decompilation system based on knowledge named DECLER.

中图分类号: