符号执行过程的DFA和CFA

• 作者: 刘宗田 叶勇 王武荣 陈凯明
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 逆编译 中间语言 数据流 控制流
• 年，卷（期）: 2002,（11）
• 所属期刊栏目: 基金项目论文
• 页码范围: 95-96,122
• 页数: 3页
• 分类号: TP313.3
• 字数: 2238字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2002.11.037

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘宗田	上海大学计算机学院	155	2834	28.0	47.0
2	叶勇	中国科学技术大学计算机科学技术系	16	40	4.0	5.0
3	陈凯明	中国科学技术大学计算机科学技术系	11	83	4.0	9.0
5	王武荣	中国科学技术大学计算机科学技术系	5	56	4.0	5.0