A Method of Variable Range Analysis Based on Abstract Interpretation and Its Applications

WANG Ya-wen; GONG Yun-zhan; XIAO Qing; YANG Zhao-hong

您当前的位置：

首页 >

文章列表页 >

A Method of Variable Range Analysis Based on Abstract Interpretation and Its Applications

更新时间：2025-07-16

- A Method of Variable Range Analysis Based on Abstract Interpretation and Its Applications
- Acta Electronica Sinica Vol. 39, Issue 2, Pages: 296-303(2011)
- 作者机构：
  
  1. 北京邮电大学网络与交换技术国家重点实验室,北京,100876
  2. 装甲兵工程学院信息工程系,北京,100072
  3. 北京邮电大学网络与交换技术国家重点实验室,北京,100876
  4. 装甲兵工程学院信息工程系,北京,100072
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311.5
- Published：2011
- 稿件说明：
移动端阅览
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：

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

Views

2420

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Conditional Context-Aware Detection for Android Malicious Virtualization Apps

The Testing and Repairing Methods for Machine Learning Model Security

MART Algorithm Based on Mirror Selection Order Optimization

Novel Evolutionary Generation Approach to Test Data for Multiple Paths Coverage

An Approach to Property-Oriented Testing of Real-Time Systems

Related Author

XIONG Yan

ZHANG Wei-nan

HUANG Wen-chao

MENG Zhao-yi

GUAN Xiao-hong

LI Qi

WANG Qian

LI Qian

Related Institution

School of Computer Science and Technology， University of Science and Technology of China

School of Computer Science and Technology， Anhui University

Institute for Network Sciences and Cyberspace， Tsinghua University

School of Cyber Science and Engineering， Wuhan University

Key Laboratory for Intelligent Networks and Network Security（Xi’an Jiaotong University）

⁰