符号执行过程的DFA和CFA

摘要：

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

关键词：逆编译、中间语言、数据流、控制流

所属期刊栏目：28

分类号：TP313.3(计算技术、计算机技术)

资助基金：高等学校博士学科点专项科研项目97035901

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：95-96,122