-
题名基于命题演算的高级控制结构恢复
- 1
-
-
作者
张靖博
赵荣彩
庞建民
付文
-
机构
解放军信息工程大学信息工程学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第16期4-6,共3页
-
基金
国家"863"计划基金资助项目(2006AA01Z408
2009AA01Z434)
+1 种基金
河南省重大科技攻关基金资助项目(092101210500
092101210501)
-
文摘
提出一种基于命题演算的二进制代码高级控制结构恢复方法。该方法针对低级指令之间的控制依赖关系进行形式化,将其抽象为命题逻辑变元,并且沿着程序执行路径进行传播和演算,通过计算结果中的特定命题常元对隐藏于低级代码中的高级控制结构进行判定。测试结果表明,该方法能够较好地检测并恢复出循环结构和分支结构,且具备针对谓词指令的分析和恢复能力。
-
关键词
软件逆向分析
命题逻辑
控制结构恢复
控制依赖
-
Keywords
reverse analysis of software
propositional logic
control structure recovery
control dependence
-
分类号
N945
[自然科学总论—系统科学]
-
-
题名基于结构语义树的高级控制结构恢复技术
- 2
-
-
作者
刘絮颖
尹青
蒋烈辉
刘建林
-
机构
解放军信息工程大学信息工程学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2011年第9期3182-3186,共5页
-
基金
国家863高技术研究发展计划基金项目(2007AA01Z483)
-
文摘
针对高级控制结构嵌套关系难以恢复的问题,提出了一种基于结构语义树的高级控制结构恢复技术。以经典控制流图结构化算法为基础进行控制流图结构化,获得高级控制结构信息后以反向后序顺序构建结构语义树,对构建成功的结构语义树进行前序遍历即可恢复高级控制结构。实验结果表明,该方法能够有效准确地恢复高级控制结构,为后期高级语言代码生成提供准确完备的结构信息,提高反编译结果的准确性。
-
关键词
反编译
控制流图
高级控制结构恢复
结构语义树
复合结点
-
Keywords
decompilation
control flow graph
high-level control structure recovery
structure semantics tree
compound node
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
