期刊文献+

基于结构语义树的高级控制结构恢复技术

High-level control structure recovery based on structure semantics tree
下载PDF
导出
摘要 针对高级控制结构嵌套关系难以恢复的问题,提出了一种基于结构语义树的高级控制结构恢复技术。以经典控制流图结构化算法为基础进行控制流图结构化,获得高级控制结构信息后以反向后序顺序构建结构语义树,对构建成功的结构语义树进行前序遍历即可恢复高级控制结构。实验结果表明,该方法能够有效准确地恢复高级控制结构,为后期高级语言代码生成提供准确完备的结构信息,提高反编译结果的准确性。 Aiming at the question that control structure nesting relation is hard to recover,a novel technique to recover high-level control structure is presented based on structure semantics tree.A control flow graph is structured based on existing structuring algorithms,and structure semantics tree in reverse post order is constructed after gained control structure information,finally high-level control structure can be recovered by traversing structure semantics tree in post order.Experimental results show that the method can recover high-level control structure truly and effectively,and improve veracity of decompilation result.
出处 《计算机工程与设计》 CSCD 北大核心 2011年第9期3182-3186,共5页 Computer Engineering and Design
基金 国家863高技术研究发展计划基金项目(2007AA01Z483)
关键词 反编译 控制流图 高级控制结构恢复 结构语义树 复合结点 decompilation control flow graph high-level control structure recovery structure semantics tree compound node
  • 相关文献

参考文献15

  • 1蒋烈辉..固件代码逆向分析关键技术研究[D].解放军信息工程大学,2007:
  • 2Eldad Eilam,Elliot Chikofsky.Reversing:逆向工程解密[M].韩琪,译.北京:电子工业出版社,2007:13-46. 被引量:1
  • 3Jose Manuel Rios Fonseca.lnteractive decompilation[D].Portugal:Faculty of Engineering of the University of Porto,2006. 被引量:1
  • 4Huang Hai,Jiang Liehui.A decompilation model based multiple disassemble front-end result[C].Jiaozuo:Proceeding of Information Technology and Environmental System Sciences, 2008: 769-773. 被引量:1
  • 5Kinder J, Veith H.Jakstab:a static analysis platform for binaries [C].Proceedings of the 20th International Conference on Computer Aided Verification,2008:423-427. 被引量:1
  • 6韦韬,毛剑,邹维.反编译中的复合条件分支识别算法[J].北京大学学报(自然科学版),2008,44(1):37-43. 被引量:2
  • 7Tao Wei,Jian Mao,Wei Zou,et al.A new algorithm for identifying loops in decompilation [C].Riis Nielson H, File G. SAS. Berlin, Heidelberg:Springer-Verlag,2007:170-183. 被引量:1
  • 8Ung D,Cifuentes C.Dynamic re-engineering of binary code with run-time feedback[C].Science of Computer Programming,2006: 189-204. 被引量:1
  • 9Mike Van Emmerik.Boomerang[EB/OL].http://boomerang. sourceforge.net,2006. 被引量:1
  • 10Grammatech Inc. CodeSurfer/x86[EB/OL]. http://cayuga. grammatech.com/research/cs-x86,2009. 被引量:1

二级参考文献11

  • 1Cifuentes C. Reverse compilation techniques[PhD thesis]. Brisbane: Queensland University of Technology, School of Computing Science, 1994 被引量:1
  • 2Cifuentes C. Structuring decompiled graphs // Proceedings of the International Conference on Compiler Construction Lecture Notes in Computer Science 1060. Heidelberg Springer Berlin, 1996:91-105 被引量:1
  • 3Moretti E, Chanteperdrix G, Osorio A. New Algorithms for Control-Flow Graph Structuring// Fifth European Conference on Software Maintenance and Reengineering. Washington D C: IEEE Computer Society, 2001 : 184-187 被引量:1
  • 4Reynaud S. Structuring program code. United States Patent 20040154009, 2004 被引量:1
  • 5Allen F E. Control flow analysis. ACM SIGPLAN Notices, 1970, 5(7): 1-19 被引量:1
  • 6Cocke J. Global common subexpression elimination. ACM SIGPLAN Notices, 1970, 5(7): 20-25 被引量:1
  • 7Zhang Fubo, D'Hollander E H. Using Hammock Graphs to Structure Programs. IEEE Transactions on Software Engineering, 2004, 30(4): 231-245 被引量:1
  • 8Stitt G, Guo Zhi, Najjar W, et al. Techniques for synthesizing binaries to an advanced register/memory structure // Proceedings of the 2005 ACM/SIGDA 13^th International Symposium on Field-programmable Gate Arrays. New York: ACM Press, 2005:118-124 被引量:1
  • 9Atallah M J, Chang H. Method and system for tamperproofing software. United States Patent 20060031686, 2006 被引量:1
  • 10Kaspersky K.黑客反汇编揭秘.北京:电子工业出版社,2004:378-385 被引量:1

共引文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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