导读:本文包含了高级控制流恢复论文开题报告文献综述及选题提纲参考文献，主要关键词:控制流恢复,逆向工程,反编译,控制流图
高级控制流恢复论文文献综述
李涛[1]（2012）在《某雷达DSP程序高级控制流的恢复》一文中研究指出在软件逆向分析中,对控制流的分析是一个很重要的步骤。后续分析很大程度上也依赖于前期对控制流的清楚掌握。控制流的恢复可以理清程序的跳转关系,进而可以清晰地总结出程序的整个流程和其中包含的各种控制结构。本文是对某雷达DSP程序高级控制流恢复的研究,分析如何从一个汇编指令序列构建控制流图,并在此基础上提取隐藏的高级控制结构,如顺序结构、分支结构和循环结构,最终恢复程序的控制流程。论文将整个过程分为前端处理、中间处理、后端处理叁个阶段。前端处理负责汇编代码关键信息的提取。中间处理首先对汇编代码划分基本块,论文提出的方法是通过识别跳转关键字的方式来进行划分。然后将这些基本块看做控制流图的节点集,根据基本块的特点,将程序的跳转关系作为连接基本块的边,这样就建立起一张反映程序跳转关系的控制流图。论文通过对控制流图进行遍历,求出每个节点的必经节点集。在此基础上,论文给出了识别分支结构、循环结构的关键要素,针对分支结构的特点,在遍历过程中对分支结构做相应的标记。对于循环结构,采用查找回边和括号定理来识别的方法。后端处理主要负责控制流恢复的结果输出。实验证明,通过本文提出的这种方法,可以自动构建该型号DSP程序的控制流图,并识别其中潜在的分支结构和循环结构,大大提高了软件逆向分析的效率(本文来源于《西北大学》期刊2012-06-30）
刘絮颖,尹青,蒋烈辉,刘建林[2]（2011）在《基于结构语义树的高级控制结构恢复技术》一文中研究指出针对高级控制结构嵌套关系难以恢复的问题,提出了一种基于结构语义树的高级控制结构恢复技术。以经典控制流图结构化算法为基础进行控制流图结构化,获得高级控制结构信息后以反向后序顺序构建结构语义树,对构建成功的结构语义树进行前序遍历即可恢复高级控制结构。实验结果表明,该方法能够有效准确地恢复高级控制结构,为后期高级语言代码生成提供准确完备的结构信息,提高反编译结果的准确性。(本文来源于《计算机工程与设计》期刊2011年09期）
张靖博,赵荣彩,庞建民,付文[3]（2010）在《基于命题演算的高级控制结构恢复》一文中研究指出提出一种基于命题演算的二进制代码高级控制结构恢复方法。该方法针对低级指令之间的控制依赖关系进行形式化,将其抽象为命题逻辑变元,并且沿着程序执行路径进行传播和演算,通过计算结果中的特定命题常元对隐藏于低级代码中的高级控制结构进行判定。测试结果表明,该方法能够较好地检测并恢复出循环结构和分支结构,且具备针对谓词指令的分析和恢复能力。(本文来源于《计算机工程》期刊2010年16期）
高级控制流恢复论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
针对高级控制结构嵌套关系难以恢复的问题,提出了一种基于结构语义树的高级控制结构恢复技术。以经典控制流图结构化算法为基础进行控制流图结构化,获得高级控制结构信息后以反向后序顺序构建结构语义树,对构建成功的结构语义树进行前序遍历即可恢复高级控制结构。实验结果表明,该方法能够有效准确地恢复高级控制结构,为后期高级语言代码生成提供准确完备的结构信息,提高反编译结果的准确性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
高级控制流恢复论文参考文献
[1].李涛.某雷达DSP程序高级控制流的恢复[D].西北大学.2012
[2].刘絮颖,尹青,蒋烈辉,刘建林.基于结构语义树的高级控制结构恢复技术[J].计算机工程与设计.2011
[3].张靖博,赵荣彩,庞建民,付文.基于命题演算的高级控制结构恢复[J].计算机工程.2010