反编译中的静态库识别研究

《反编译中的静态库识别研究》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、反编译中的静态库识别研究本文由pcrzgfekoo贡献pdf文档可能在WAP端浏览体验不佳。建议您优先选择TXT，或下载源文件到本机查看。维普资讯http://www.cqvip.com反编译中的静态库识别研究　许向阳雷涛朱虹　（中科技大学计算机学院数据库与多媒体技术研究所，华武汉４０７）３０４　Ｅｍａｌｐｐｅｔｏｓｎ．ｏ—ｉ：ｏｌｉ＠ｉａｃｍ　ａ摘要库函数的识别是整个反编译过程的一个重要组成部分　根据可执行程序的静态库的识别过程．文提出了在这　该个过程出现的中间代码生成、函数模块识别、函数提取、函数识别等问题，伪库库并给出了对这些问题的解决方法　这些　方法在实际的静

2、态库的识别中得到很好的应用　关键词　反编译静态库　库函数　伪函数　文章编号１０—３１（０４０－０７０　文献标识码Ａ０２８３一２０）９０３—３　中图分类号Ｔ３９Ｐ０　Ａ　Ｓｕｙｏ　ｔｔｃＬｉａｙＦｕｎｔｏｓＲｅｏｎｔｏ　ｎＤｅｏｐｌｇｔｄ　ｆＳａｉ　ｂｒｒ　ｃｉｎ　ｃｇｉｉｎｉ　ｃｍｉｎ　ｉＸｕＸｉｎｙｎｇＬｅ　Ｔａ　Ｚｈｕ　ａｇａ　ｉｏ　Ｈｏｇｎ　（ｐ．ｏ　ｏｕｅ　ｃｅｃ　ｎ　ｅｈｏｏｙＨａｈｎ　ｎｖｒｉ　ｆＤｅｔｆＣｍｐｔｒＳｉｎｅａｄＴｃｎｌｇ，ｕｚｏｇＵｉｅｓｔｏ　ｙＳｉｎｅａｄＴｃｎｌｇＷｕａ　３０４）ｃｅｃ　ｎ　ｅｈｏｏｙ，ｈｎ４０７　Ａｂｔａｔ　Ｒｅｏｎｓ

3、ｎ　ｌｒｒ　ｆｎｔｎ　ｉ　ｖｒｉｏｔｎ　ｐｒｕｎ　ｅｏｉｔｏ、ａｙｉｇｈ　ｗｈｌ　ｐｏｅｓｆｓｒｃ：ｃｇｉｉｇｉａｙｕｃｉｓｓｂｏ　ａｅ）ｍｐｒａｔａ　ｄｒｇｄｃｍｐｌｉｎＡｎｌｓｎ　ｔｅｔｉａｏｅｒｃｓ　ｏ　ｒｃｇｉｉｇｔｔｃｉｒｒ　ｆｎｔｎ　ｆｒｅｅｕｉｅｒ￣ａ，ｉ　ｐｐｒｎｌｓｓｏ　ｐｏｌｍ　ａｐａｅ　ｒｎ　ｔｉ　ｃｕｓ　ｅｏｎｓｎ　ｓｉ　ｌａｙｕｃｉｓｏ　ｘｃｔ　ｐｏｍｔｓａｅ　ａａｙｅ　ｓｍｅｒｂｅａｂｏｖｈｐｅｒｄｄｕｇｈｓｏｒｅｉａｄｅｌｉｈｈ　ｓｌｔｎ　ｔ　ｔｅｅｒｂｅ，ｕｈｓｅｅａｉｇｎ　ｄａｓ　ｗｔ　ｔｅｏｕｉｓｏｈｓ　ｐｏｌｍｓｓｃ　ａ　ｇｎｒｔ

4、　ｍｉｄｅｏｅ，ｅｏｎｓｎ　ｐｅｄｆｎｉｎｏｎｄｌ　ｃｄｓｒｃｇｉｉｇｓｕｏ—ｕｅｏ　ｍｏｕｅ、ｄｌｓ　ｅｔａｔｎ　ａｄｅｏｎｓｎ　ｌｒｒｆｎｔｎ．ｈｓ　ｍｅｈｄ　ｉｘｒｃｉｇｎ　ｒｃｇｉｉｇｉａｙｕｃｉｓＴｅｅｂｏｔｏｓｓ　ｗｅｌｐｌｄｕｎ　ｒｃｇｉｉｇｈ　ｐａｔｃｌｔｔ　ｌｒｒｌ　ａｐｉ　ｄｒｇｅｏｎｓｎ　ｔｅｒｃｉａ　ｓａｉｉａ￣ｅｉｃｂ．．　ｉＰｉｓｆｎｔｎ．ｉｎ　Ｋｅｗｏｄ：ｄｃｍｐｌｓａｉｉｒｒｌｒｒ　ｆｎｔｎ，ｓｕｏｆｎｔｎｙｒｓｅｏｉｅ，ｔｔ　ｌａｙ，ｉａｙｕｃｉｐｅｄ－ｕｃｉ　ｃｂｂｏｏｌ引言　　反编译是一种将目标代码转化成为等价的高级语言形式　代码

5、的技术，是软件逆向工程中的一个重要组成部分　反编　它图ｌ的可执行程序就是需要被反编译的程序，中间代码是　指等价于原可执行程序的汇编代码来表示的一种代码，模块结　构图是指识别出中间代码中各个伪函数模块后的表达形式，静　态库集是指该程序引用的所有已定义库函数集合　译分为基于可执行程序的反编译和基于虚拟机指令的反编译，　国外对于反编译的研究已经有３０多年的历史了，但是对于可　２１程序的中间代码生成　．　程序的中间代码就是一种由汇编指令组成的与原程亭等　价的代码　关于中间代码生成，合汇编语言的特性以及程字　结运作的硬件平台，有以下２点：　（）１每条可执行指令与汇编代码之间是一

6、种双射　可执行　指令就是由０、组成的代码，ｌ这种映射是由指令体系结构的特　点决定的；里就以常用的Ｉｔｌ令体系结构进行考虑．于　这ｎｅ指关这种映射的细节可以参考文献ｆ～１５７。　（）执行代码是由许多可执行指令组成的一种确定性亭　２可列。一旦对于源程序的编译完成，种序列就不会改变　这种确　这定性序列也叫可执行程序的代码部分．它是可执行程亭的一部　执行程序的反编译至今还没有成熟的实用系统”ｌ内研究了。，国，　基于Ｔ２０生成的可执行程序的反编译　；些对于库函数识　Ｃ．‘这别中的很多关键问题比如库函数提取等都没有阐述　库函数的识别是整个反编译过程的一个重要组成部分，按　照库函数

7、的装载形式，库函数又分为动态库和静态库两大部　分；照库函数的编制方式，为编译器自带的系统库和定制　按分的第三方库，该文主要解决编译器自带的系统静态库的识别问　题。以下讨论这个过程碰到的问题以及解决之法，提出一种　并有效识别静态库的启发算法。　２库函数识别的过程　库函数识别包括中间代码生成、函数模块的识别，序　伪程分，以参考ＰＰｒｂｅＥｅｕｉｅ文件格式㈣　可Ｅ（ｏａｌｘｃｔ）ｔ　ｖ。所以，１和（）以断言，由（）２可对于任意一　可执行程序．必　定存在一　唯一中间代码表示形式，这种转化规则是确定的　这种转化其实就是反编译中的反汇编过程　根据从可执行程　序中