基于命题演算的高级控制结构恢复

• 作者: 付文 庞建民 张靖博 赵荣彩
• 来源期刊: 计算机工程
• 学科: 地球科学
• 关键词: 软件逆向分析 命题逻辑 控制结构恢复 控制依赖
• 年，卷（期）: 2010,（16）
• 页码范围: 4-6
• 分类号: N945
• 字数: 3924字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.16.002

摘要

提出一种基于命题演算的二进制代码高级控制结构恢复方法.该方法针对低级指令之间的控制依赖关系进行形式化,将其抽象为命题逻辑变元,并且沿着程序执行路径进行传播和演算,通过计算结果中的特定命题常元对隐藏于低级代码中的高级控制结构进行判定.测试结果表明,该方法能够较好地检测并恢复出循环结构和分支结构,且具备针对谓词指令的分析和恢复能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵荣彩	解放军信息工程大学信息工程学院	101	374	9.0	14.0
2	庞建民	解放军信息工程大学信息工程学院	28	97	5.0	7.0
3	张靖博	解放军信息工程大学信息工程学院	2	4	1.0	2.0
4	付文	解放军信息工程大学信息工程学院	5	12	2.0	3.0