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

摘要：

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

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

分类号：TP309(计算技术、计算机技术)

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

在线出版日期：2013-08-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1927-1932