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

摘要：

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

关键词：软件逆向分析、命题逻辑、控制结构恢复、控制依赖

所属期刊栏目：36

分类号：N945(系统科学)

资助基金：国家"863"计划基金资助项目2006AA01Z408,2009AA01Z434;河南省重大科技攻关基金资助项目092101210500,092101210501

在线出版日期：2010-09-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：4-6