C反编译控制流恢复的形式描述及算法

• 作者: 王开铸 赵蕾
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 反编译 C语言 软件工具 软件逆向工程
• 年，卷（期）: 1998,（1）
• 所属期刊栏目: 短文
• 页码范围: 87-91
• 页数: 5页
• 分类号: TP314
• 字数: 2099字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.1998.01.012

摘要

反编译是软件逆向工程的重要组成部分.控制流恢复是C反编译的重要组成部分.本文首先描述了验证反编译结果与原程序功能等价的模型;其次从数学角度提出了C编译和反编译控制结构的数学模型并给出其性质(从函数的观点出发);再次根据对C控制语句编译结果的分析,以扩展的BNF形式描述了C控制语句反编译的约束属性文法;最后给出并说明了C反编译控制流恢复的算法及其运行示例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王开铸	哈尔滨工业大学计算机科学与工程系	9	207	5.0	9.0
2	赵蕾	哈尔滨工业大学计算机科学与工程系	11	34	3.0	5.0