高级搜索

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

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

高洪博 李清宝 王炜 谢晓东 朱瑜

高洪博, 李清宝, 王炜, 谢晓东, 朱瑜. 基于抽象解释的二进制代码变量区间分析[J]. 电子与信息学报, 2013, 35(8): 1927-1932. doi: 10.3724/SP.J.1146.2012.01341
引用本文: 高洪博, 李清宝, 王炜, 谢晓东, 朱瑜. 基于抽象解释的二进制代码变量区间分析[J]. 电子与信息学报, 2013, 35(8): 1927-1932. doi: 10.3724/SP.J.1146.2012.01341
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[J]. Journal of Electronics & Information Technology, 2013, 35(8): 1927-1932. doi: 10.3724/SP.J.1146.2012.01341
Citation: 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[J]. Journal of Electronics & Information Technology, 2013, 35(8): 1927-1932. doi: 10.3724/SP.J.1146.2012.01341

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

doi: 10.3724/SP.J.1146.2012.01341
基金项目: 

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

A Method of Binary Code Variable Interval Analysis Based on Abstract Interpretation

  • 摘要: 在二进制代码分析中,传统的区间分析方法难以有效获得变量的取值范围。针对二进制代码变量特点,基于抽象解释理论,该文提出字级数据区间和位级数据区间的概念,分别对数值型数据变量和位级数据变量进行抽象表示;将抽象区间用于二进制代码变量运算,构建字级数据区间和位级数据区间的运算方法;引入区间集的概念,确立字级数据区间和位级数据区间的转换关系,提出字级数据区间和位级数据区间的相互转换算法。实验结果表明,该文提出的基于抽象解释的二进制代码变量区间分析方法能够精确高效地确定二进制代码变量的取值范围。
  • 加载中
计量
  • 文章访问数:  2164
  • HTML全文浏览量:  122
  • PDF下载量:  965
  • 被引次数: 0
出版历程
  • 收稿日期:  2012-10-19
  • 修回日期:  2013-04-19
  • 刊出日期:  2013-08-19

目录

    /

    返回文章
    返回