期刊文献+

基于函数划分块及置信度的反汇编优化研究 被引量:2

RESEARCH ON DISASSEMBLY OPTIMIZATION BASED ON FUNCTION DIVISION BLOCK AND CONFIDENCE
下载PDF
导出
摘要 针对传统静态递归反汇编算法因无法解析间接跳转指令而导致反汇编结果不完整的问题,提出一种基于函数划分块和置信度的递归反汇编算法:以函数为划分块,对代码间隙进行多次递归扫描,获取反汇编过程中可能遗漏的重要基本块;建立置信度评估函数,以置信度为依据,剔除冲突的基本块,筛选出高置信度的基本块,用于补充和优化反汇编结果。实验证明,改进后的递归反汇编算法具有较高的反汇编精度。 Traditional static recursive disassembly algorithms fail to resolve indirect jump instructions which results in incomplete disassem- bly outputs. Therefore a recursive disassembly algorithm based on function division block and confidence is proposed. The algorithm regards functions as division blocks to carry out several recursive scans upon code gaps to obtain the possible missing important basic blocks during the disassembly process. Then it establishes the confidence evaluation function, which, by comparing confidence degrees to erase conflicting bas- ic blocks, then chooses high confident basic blocks for completing and optimizing disassembly results. Experiments prove that the improved recursive disassembly algorithm performs better on disassembly accuracy.
出处 《计算机应用与软件》 CSCD 北大核心 2014年第1期85-88,164,共5页 Computer Applications and Software
关键词 静态递归反汇编 置信度评估函数 函数划分块 Static recursive disassembly Confidence evaluation function Function division block
  • 相关文献

参考文献9

二级参考文献33

  • 1谷伟,侯成君.MCS-51智能反汇编软件的设计与实现[J].微电子学与计算机,1993,10(10):21-24. 被引量:2
  • 2肖正文,张江陵,胡学骏,贾连兴.代码与数据分离的反汇编程序设计[J].计算机工程与应用,1996,32(5):33-35. 被引量:3
  • 3李剑慧,马湘宁,朱传琪.动态二进制翻译与优化技术研究[J].计算机研究与发展,2007,44(1):161-168. 被引量:26
  • 4Hsieh W C, Engler D, Back G Reverse-engineering Instruction Encodings[C]//Proc. of USENIX Annual Technical Conference. Boston, USA:[s. n.], 2001: 133-146.
  • 5Cifuentes C, Gough K. Decompilation of Binary Programs[J]. Software Practice & Experience, 1995, 25(7): 811-829.
  • 6Altman E R, Kaeli D, Sheffer Y. Welcome to the Opportunities of Binary Translation[J]. Omputer, 2000, 33(3): 40-45.
  • 7Cifuentes C, Van Emmerik M. Recovery of Jump Table Case Statements from Binary Code[J]. Science of Computer Programming, 2001,40(2/3): 171-188.
  • 8Cifuentes C, van Emmerik M, Ramset N, et al. Experience in the Design, Implementation and Use of a Retargetable Static Binary Trans- lation Framework[R]. Sun Microsystems Laboratories, Tech. Rep.: TR-2002-105, 2002-01.
  • 9van Emmerik M. Static Single Assignment for Decompilation[D]. Queensland, Australia: School of Information Technology and Electrical Engineering, University of Queensland, 2007.
  • 10W C Hsieh,D Engler,G Back.Reverse-Engineering Instruction Encodings[C].In : USENIX Annual Technical Conference, Boston, Mass, 2001-06:133-146.

共引文献16

同被引文献19

  • 1刘絮颖.反编译中控制流重构与控制结构恢复技术研究[D].郑州:信息工程大学,2010.
  • 2Jean Louis Boulanger.Static analysis of software:The abstract interpretation[M].Hoboken:Wiley Press,2013.
  • 3Patrick Cousot,Radhia Cousot.Abstract interpretation:a unified lattice model for static analysis of programs by construction or approximation of fixpoints[C]//Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on principles of programming languages,Los Angeles,California,1977:238-252.
  • 4Heng Yin,Dawn Song.TEMU:Binary Code Analysis via Whole-System Layered Annotative Execution[EB/OL].(2012-10-11).[2014-09-11].http://www.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-3.html.
  • 5XML可扩展标记语言[EB/OL].(2014-08-20).[2014-09-11].http://zh.wikipedia.org/zh-cn/XML.
  • 6Dot language[EB/OL].(2014-09-11).[2014-09-11].http://www.graphviz.org/content/dot-language.
  • 7David Brumley,Ivan Jager,Thanassis Avgerinos,et al.BAP:A Binary Analysis Platform[C]//Proceedings of the conference on computer aided verification,2011:1-7.
  • 8IDA:About[EB/OL].(2014-01-25).[2014-09-11].https://www.hex-rays.com/products/ida/index.shtml.
  • 9QEMU Internals[EB/OL].(2014-08-01).[2014-09-11].http://qemu.weilnetz.de/qemu-tech.html.
  • 10Dawn Song,David Brumley,Heng Yin,et al.Bit Blaze:A New Approach to Computer Security via Binary Analysis[C]//Proceedings of the 4th international conference on information systems security,Hyderabad,India,2008:1-25.

引证文献2

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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