基于抽象解释的二进制代码变量区间分析

doi:10.3724/SP.J.1146.2012.01341

摘要
图/表
参考文献
相关文章 (1)

全文: PDF (246 KB)
输出: BibTeX | EndNote (RIS)

摘要在二进制代码分析中，传统的区间分析方法难以有效获得变量的取值范围。针对二进制代码变量特点，基于抽象解释理论，该文提出字级数据区间和位级数据区间的概念，分别对数值型数据变量和位级数据变量进行抽象表示；将抽象区间用于二进制代码变量运算，构建字级数据区间和位级数据区间的运算方法；引入区间集的概念，确立字级数据区间和位级数据区间的转换关系，提出字级数据区间和位级数据区间的相互转换算法。实验结果表明，该文提出的基于抽象解释的二进制代码变量区间分析方法能够精确高效地确定二进制代码变量的取值范围。

	服务

	把本文推荐给朋友
	加入我的书架
	加入引用管理器
	E-mail Alert
	RSS
	作者相关文章
	高洪博
	李清宝
	王炜
	谢晓东
	朱瑜

关键词 ：二进制代码, 代码分析, 区间分析, 抽象解释

Abstract：Due to characteristics of binary code, it is difficult to deal with binary code variable through traditional interval analysis. To figure out this problem, a new interval analysis method of binary code variable based on abstract interpretation is proposed in this paper. Based on abstract interpretation, two concepts which are word-level data interval and bit-level data interval are presented. The word-level data interval is the abstract presentation of numerical value variable and the bit-level data interval is the abstract presentation of bit value variable. Operation methods of word-level data interval and bit-level data interval are constructed. The conversion operations between word-level data interval and bit-level data interval are put forward and corresponding algorithms are presented. The theoretical and experimental results show that the binary code variable interval can be calculated effectively and precisely with the proposed method.

Key words： Binary code Code analysis Interval analysis Abstract interpretation

收稿日期: 2012-10-19

PACS:

TP309

基金资助:

“核高基”国家科技重大专项(2009ZX01036)和国家863计划项目(2009AA01Z434)资助课题

通讯作者: 高洪博 E-mail: ghb912@163.com

引用本文:

高洪博, 李清宝, 王炜, 谢晓东, 朱瑜. 基于抽象解释的二进制代码变量区间分析[J]. 电子与信息学报, 2013, 35(8): 1927-1932. Gao Hong-Bo, Li Qing-Bao, Wang Wei, Xie Xiao-Dong, Zhu Yu. A Method of Binary Code Variable Interval Analysis Based on Abstract Interpretation. , 2013, 35(8): 1927-1932.

链接本文:

http://jeit.ie.ac.cn/CN/10.3724/SP.J.1146.2012.01341 或 http://jeit.ie.ac.cn/CN/Y2013/V35/I8/1927