期刊文献+

反编译过程中的结构变换 被引量:3

Structure Transformation in Decompilation
下载PDF
导出
摘要 反编译器是一种能将低级语言翻译到高级语言的工具,文中介绍了反编译实现过程中的结构变换,即通过提取逻辑表达式和控制结构,对初始流图进行变换,使其最终形式与高级语言的控制语句一一对应,从而进一步生成高级语言程序. Decompiler is a tool that transforms a low-level language into a high-level language, Structure transformation in decompilation is discussed in this paper. By abstracting the logical expression and control structure, the original program flow graph is converted into a new form which is similar to the control statements in high-level language, so that we can get high-level language program later.
出处 《上海交通大学学报》 EI CAS CSCD 北大核心 1996年第6期81-84,共4页 Journal of Shanghai Jiaotong University
关键词 反编译 程序流困 结构变换 逻辑表达式 控制结构 decompile program flow graphl structure transformation logical expression control structure
  • 相关文献

参考文献4

同被引文献14

  • 1李少芳.DES算法加密过程的探讨[J].计算机与现代化,2006(8):102-104. 被引量:16
  • 2BOHM 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.
  • 3ASHCROFT 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.
  • 4EROSA 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.
  • 5KNUTH D E, FLOYED R W. Notes on avoiding' go to' statements[J]. Information Processing Letters, 1970, 1(1) :22 -23.
  • 6OULSNAM G. Unravelling unstructured programs[J]. The Comput?erJournal, 1982, 25(3): 379 -387.
  • 7BAKER B S. An algorithm for structuring flowgraphs[J].Journal of the ACM, 1977, 24( 1): 98 -120.
  • 8CIFUENTES C, GOUGH KJ. A methodology for decompilation[C] / / Proceedings for the XIX Conferencia Latinoamericana de In?fonnatica. Buenos Aires:[s. n.], 1993: 257 -266.
  • 9LICHTBLA U U. Decompilation of control structures by means of graph transformations[C] / / CAAP '85: Proceedings of the Interna?tionalJoint Conference on Theory and Practice of Software Develop?ment, Volume 1: Colloquium on Trees in Algebra and Program?ming: Mathematical Foundations of Software, LNCS 185. Berlin: Springer-Verlag, 1985: 284 - 297.
  • 10MUCHINICK S S. Advanced compiler design and implementation[M]. San Francisco: Morgan Kaufmann, 1997.

引证文献3

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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