期刊文献+

嵌入式软件逆向分析中的动静态分析交互机制 被引量:1

Interactive Mechanism in Static and Dynamic Analysis of Embedded Software Reverse Analysis
下载PDF
导出
摘要 由于动静态分析相结合的软件逆向分析方法缺乏规范的交互模式,软件逆向分析工作的效率低下,可复用性不强。基于嵌入式软件动静态分析流程,提出了由静至动(STD)、由动至静(DTS)以及动静结合(SDM)的3种动静态分析交互机制,详细给出了3种交互机制的实现方法。测试结果表明,STD、DTS和SDM交互机制适用于静态分析结果中异常结点的修正,动态提取信息的优化以及隐藏代码的识别等,能大幅提高嵌入式软件逆向分析工作的效率。 Due to the lack of standard interactive modes in the procedure of static and dynamic com-bined software reverse analysis, the reverse analysis efficiency is very low and the reusability isweak. Based on the static and dynamic analysis procedures in embedded platforms, three interactivemechanisms are proposed, which are Static To Dynamic (STD) , Dynamic To Static (DTS) , Staticand Dynamic Simultaneous (SDM) , and the realization details are given. Test results show that themechanisms of STD, DTS, SDM are applicable to static abnormal results correction, dynamic extractinformation optimization, and hidden codes identification, and thus can greatly increase the efficien-cy of embedded software reverse analysis.
出处 《信息工程大学学报》 2015年第5期613-618,共6页 Journal of Information Engineering University
关键词 软件逆向分析 静态分析 动态分析 动静结合 交互机制 software reverse analysis static analysis dynamic analysis the combination of staticand dynamic analysis interactive mechanism
  • 相关文献

参考文献10

  • 1Johannes Kinder. Static Analysis of x86 Executables [ D]. Technische Universitit Darmstadt, 2010.
  • 2Balakrishnan G. WYSINWYX: What you see is not what you execute[ D]. University of Wisconsin, 2007.
  • 3Edward J Schwartz, Thanassis Avgerinos, David Brume- ly. All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution [ C ] //Pro- ceedings of IEEE Symposium on Security and Privacy. 2010: 317-331.
  • 4Peter Clarke: Embedded systems next for hack attacks [ EB/OL]. [ 2014-09-03 ]. http ://www. esmchina, corn/ ART_8800125181 _ 1400 _2304 _3803 _0 _5f29bl e0 - 02. HTM.
  • 5Dimitrios N Serpanos, Artemios G Voyiatzis. Security Challenges in Embedded Systems[ J]. ACM Transactions on embedded computing systems (TECS), 2013,12( 1 ) : 66458.
  • 6蒋烈辉.固件代码逆向分析研究与系统设计[D].郑州:信息工程大学,2007.
  • 7Cristina Cifuentes. The University of Queensland Binary Translator (UQBT) Framework [ R ]. The University of Queensland and Sun Microsystems,2002.
  • 8刘絮颖.反编译中控制流重构与控制结构恢复技术研究[D].郑州:信息工程大学,2010.
  • 9Bellard F. QEMU, a Fast and Portable Dynamic Transla- tor[ C ]//Proceedings of USENIX Annual Technical Con- ference. 2005 : 41-46.
  • 10STP: A Decision Procedure for Bitvectors and Arrays [EB/OL]. [ 2012-11-01 ]. http://people, csail, mit. edu/vganesh/ STP_fites/stp. html.

共引文献2

同被引文献1

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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