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

张靖博; 赵荣彩; 庞建民; 付文

首页> 中文期刊> 《计算机工程》 >基于命题演算的高级控制结构恢复

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机工程》 |2010年第16期|4-6|共3页
作者
张靖博; 赵荣彩; 庞建民; 付文;
展开▼
作者单位

解放军信息工程大学信息工程学院;

郑州;

450002;

解放军信息工程大学信息工程学院;

郑州;

450002;

解放军信息工程大学信息工程学院;

郑州;

450002;

解放军信息工程大学信息工程学院;

郑州;

450002;

展开▼
原文格式 PDF
正文语种 chi
中图分类系统工程;
关键词
软件逆向分析; 命题逻辑; 控制结构恢复; 控制依赖;

相似文献

中文文献
外文文献
专利

1. 基于结构分析的高级语言控制结构恢复方法 [J] . 霍元宏 ,刘毅 ,计卫星 . 计算机应用 . 2013,第012期
2. 基于结构语义树的高级控制结构恢复技术 [J] . 刘絮颖 ,尹青 ,蒋烈辉 . 计算机工程与设计 . 2011,第009期
3. 基于HFI代数的模糊命题演算的形式演绎系统 [J] . 秦学成 ,刘春辉 . 赤峰学院学报（自然科学版） . 2010,第001期
4. 基于开放世界预设的3-值命题演算系统 [J] . 无 . 中山大学学报：社会科学版 . 1997,第005期
5. 基于伺服电动缸驱动的铣削头主轴位置控制结构设计 [J] . 辛百灵 . 制造技术与机床 . 2020,第003期
6. 基于结构分析的高级语言控制结构恢复方法 [C] . HUO Yuanhong ,霍元宏 ,LIU Yi . 2013年全国开放式分布与并行计算学术年会 . 2013
7. 经典命题演算的能行方法研究 [A] . 秦一男 . 2009

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

摘要

著录项

相似文献

相关主题

期刊订阅