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.
摘要: 将含有库函数名的汇编代码程序翻译成中间语言程序,然后再转换成高级语言程序可降低逆编译的复杂性。文章介绍了从汇编程序到中间语言程序的转换过程中,采用基于数据流和控制流分析的符号执行方法。该方法已在基于知识的逆编译系统DECLER中实现。
关键词:
逆编译,
中间语言,
数据流,
控制流
CLC Number:
CHEN Kaiming1,2,LIU Zongtian3, WANG Wurong1,YE Yong1. DFA and CFA of Symbolic Execution[J]. , 2002, 28(11): 103-.
陈凯明,刘宗田,王武荣,叶勇. 符号执行过程的DFA和CFA[J]. , 2002, 28(11): 103-.