基于抽象解释的变量值范围分析及应用

王雅文; 宫云战; 肖庆; 杨朝红

您当前的位置：

首页 >

文章列表页 >

基于抽象解释的变量值范围分析及应用

学术论文 | 更新时间：2025-07-16

- 基于抽象解释的变量值范围分析及应用
- A Method of Variable Range Analysis Based on Abstract Interpretation and Its Applications
- 电子学报 2011年39卷第2期页码：296-303
- 作者机构：
  
  1. 北京邮电大学网络与交换技术国家重点实验室,北京,100876
  2. 装甲兵工程学院信息工程系,北京,100072
  3. 北京邮电大学网络与交换技术国家重点实验室,北京,100876
  4. 装甲兵工程学院信息工程系,北京,100072
- 作者简介：
- 基金信息：
  
  国家863高技术研究发展计划重点项目 (No.2007AA010302);国家863高技术研究发展计划 (No.2009AA012404)
- DOI：
  中图分类号： TP311.5
- 纸质出版：2011
- 稿件说明：
移动端阅览
王雅文, 宫云战, 肖庆, 等. 基于抽象解释的变量值范围分析及应用[J]. 电子学报, 2011,39(2):296-303.

WANG Ya-wen, GONG Yun-zhan, XIAO Qing, et al. A Method of Variable Range Analysis Based on Abstract Interpretation and Its Applications[J]. Acta Electronica Sinica, 2011, 39(2): 296-303.
王雅文, 宫云战, 肖庆, 等. 基于抽象解释的变量值范围分析及应用[J]. 电子学报, 2011,39(2):296-303. DOI：

WANG Ya-wen, GONG Yun-zhan, XIAO Qing, et al. A Method of Variable Range Analysis Based on Abstract Interpretation and Its Applications[J]. Acta Electronica Sinica, 2011, 39(2): 296-303. DOI：

摘要

精确的变量值范围分析对于编译器优化、静态分析和软件测试至关重要.在介绍抽象解释理论的基础上

扩展了经典的区间抽象

首次提出区间集的概念并定义了新的数值型区间集代数、布尔型和引用型区间代数

给出了统一的基于抽象解释的变量值范围分析方法RABAI

引入拓宽算子计算循环体变量范围

对过程参数定义了特殊的未定义取值(

undefined

)

使用函数摘要来计算过程调用对程序上下文状态的影响.该方法能有效压缩变量取值空间

检测出程序中的矛盾语句节点和不可达路径

实验表明基于RABAI方法的缺陷检测工具DTS能有效降低误报率.

Abstract

Variable range analysis is essential for compiler optimization

static analysis and software testing.This paper extends the classical interval abstraction

and defines the new numeric interval-set algebra

Boolean interval algebra and reference interval algebra.Then it presents a unified method of variable range analysis based on abstract interpretation (RABAI).This method uses widening operator to compute variable range in loop

undefined value to describe procedure parameters

and applies function summary as a stand-in for the function.RABAI compresses variable value ranges

and can detect infeasible paths in program.Finally RABAI is applied in Java code analysis tool DTS

and DTS can reduce the false positive rate of bug checking result.

关键词

Keywords

references

浏览量

2420

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

条件上下文敏感的安卓恶意虚拟化应用检测方法

面向机器学习模型安全的测试与修复

基于镜像选择序优化的MART算法

一种新的多路径覆盖测试数据进化生成方法

一种面向性质的实时系统测试方法