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

来源 :计算机工程 | 被引量 : 0次 | 上传用户:zjian26
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出一种基于命题演算的二进制代码高级控制结构恢复方法。该方法针对低级指令之间的控制依赖关系进行形式化,将其抽象为命题逻辑变元,并且沿着程序执行路径进行传播和演算,通过计算结果中的特定命题常元对隐藏于低级代码中的高级控制结构进行判定。测试结果表明,该方法能够较好地检测并恢复出循环结构和分支结构,且具备针对谓词指令的分析和恢复能力。
其他文献
“建模/模型”是近十年来国际物理教育研究的热点主题之一。在我国最新修订的《普通高中物理课程标准(2017年版)》中“物理模型及建模”通篇出现频数高达75次,“物理学科核心素养”的“科学思维”视域中更是将“模型建构”作为其核心要素。可见,无论是从培养学生的教学观念还是从教育发展的改革理念来看,“物理模型教学”都是突破传统窠臼,助力一线教学革新,发展人才培养新模式的高效举措。本文首先通过对国内外“物理
目的:探讨MDCT多期增强扫描诊断透明细胞型肾癌患者的效果。方法:回顾性分析本院2012年7月—2018年9月经病理证实的透明细胞型肾癌患者83例,依照不同的疾病诊断方式,将所有患
提出一种Windows平台下基于虚拟机的Ring0级程序行为分析架构,据此架构设计和实现程序行为自动分析系统Malbox。该系统能够在封闭的虚拟环境下自动地检测和分析待测程序的进程
龙游县2018年柑桔总面积为4 540.2 hm^2,柑桔总产量77 860 t,产量比上年稳中有增,增产2.51%。其中,椪柑面积3 173.27 hm^2,产量62 617 t,产量比2017年增加3.8%。本产季龙游柑
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
2002年秋,三门峡市文物考古研究所配合城市基本建设在市区北部,原后川村西侧发掘出一座车马坑,发 现8马3车。根据车马坑形制及木车结构特征推测,该坑年代为战国早、中期。 I
结合中国中车铁路货车海外营销实际工作经验,通过对中车铁路货车国际化经营现状、国际化经营环境的梳理,探讨铁路货车国际化战略举措,为中车铁路货车业务国际化战略提供参考