期刊文献+

基于结构分析的高级语言控制结构恢复方法 被引量:1

Recovery method for high-level language control structures based on structural analysis
下载PDF
导出
摘要 为正确获得嵌入式可执行程序和汇编代码的高级语言控制结构,弥补现有高级程序控制结构恢复算法在处理非结构化区域的不足,将编译领域经典的控制流分析方法———结构分析算法引入到嵌入式汇编代码高级程序控制结构恢复研究中;针对嵌入式可执行程序的特点,对结构分析算法加以改进;利用结构分析算法的结果构造程序的控制树,生成高级语言代码。与开源反编译器DCC的对比实验结果表明,改进的结构分析算法在高级程序结构恢复问题上是可行有效的。 To correctly obtain the high-level language control structures of embedded executables and assembly code, and resolve the problem that the existing recovery methods for high-level language control structures cannot handle the unstructured region, the classical control analysis method, structural analysis algorithm, was introduced to study the recovery method for high-level control structures of embedded assembly code. The structural analysis algorithm was improved according to the characteristics of embedded executables, and the high-level language code was generated by using the program control tree, which can be obtained from the results of structural analysis algorithm. Compared with the open source decompiler named DCC, the results show that the improved algorithm is feasible and efficient.
出处 《计算机应用》 CSCD 北大核心 2013年第12期3428-3431,共4页 journal of Computer Applications
关键词 反编译 控制流分析 嵌入式系统 逆向分析 decompiling control flow analysis embedded system reverse analysis
  • 相关文献

参考文献12

  • 1侯文永,徐志宏.反编译过程中的结构变换[J].上海交通大学学报,1996,30(6):81-84. 被引量:3
  • 2赵蕾,王开铸.C反编译控制流恢复的形式描述及算法[J].计算机学报,1998,21(1):87-91. 被引量:8
  • 3刘宗田,兰群.C子集程序到C语言程序的变换[J].计算机研究与发展,1991,28(3):29-34. 被引量:6
  • 4BOHM C,JACOPINI G. Flow diagrams, turing machines and lan?guages with only two formation rules[J]. Communications of the ACM, 1966, 9(5): 366 -371.
  • 5ASHCROFT E, MANNA Z. The translation of' go to' programs to 'while' programs[M] / / Classics in Software Engineering. Upper Saddle River: Yourdon Press, 1979: 49 -61.
  • 6EROSA A M, HENDREN LJ. Taming control flow: a structured approach to eliminating goto statements[C] / / Proceedings of the 1994 International Conference on Computer Languages. Piscataway: IEEE, 1994: 229 -240.
  • 7KNUTH D E, FLOYED R W. Notes on avoiding' go to' statements[J]. Information Processing Letters, 1970, 1(1) :22 -23.
  • 8OULSNAM G. Unravelling unstructured programs[J]. The Comput?erJournal, 1982, 25(3): 379 -387.
  • 9BAKER B S. An algorithm for structuring flowgraphs[J].Journal of the ACM, 1977, 24( 1): 98 -120.
  • 10CIFUENTES C, GOUGH KJ. A methodology for decompilation[C] / / Proceedings for the XIX Conferencia Latinoamericana de In?fonnatica. Buenos Aires:[s. n.], 1993: 257 -266.

二级参考文献11

  • 1刘宗田,计算机学报,1988年,11卷,10期,633页
  • 2刘宗田,小型微型计算机系统,1988年,9卷,2期,1页
  • 3张永强,计算机学报,1987年,10卷,4期,209页
  • 4刘宗田,计算机学报,1986年,9卷,1期,16页
  • 5刘宗田,计算机研究与发展,1986年,23卷,6期,32页
  • 6侯文永,编译原理及其实现技术,1993年
  • 7侯文永,计算机工程,1992年,18卷,3期,1页
  • 8刘宗田,J Comput Sci Technol,1994年,9卷,4期,311页
  • 9刘宗田,计算机研究与发展,1986年,29卷,1期,32页
  • 10陆纪权,侯文永.反编译程序图设计与控制流分析[J].计算机工程,1992,18(6):33-37. 被引量:1

共引文献12

同被引文献8

引证文献1

二级引证文献5

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部