符号执行过程的DFA和CFA  

DFA and CFA of Symbolic Execution

作　　者：陈凯明[1,2] 刘宗田[3] 王武荣[1] 叶勇[1] 

机构地区：[1]中国科学技术大学计算机科学技术系 [2]合肥工业大学微型机研究所,合肥230009 [3]上海大学计算机学院

出　　处：《计算机工程》2002年第11期95-96,122,共3页Computer Engineering

基　　金：教育部博士点基金课题"面向Web的组件化CASE模型研究"(97035901)

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

关 键 词：符号执行过程 DFA CFA 汇编程序 逆编译 中间语言 数据流 控制流 

分 类 号：TP313[自动化与计算机技术—计算机软件与理论]