Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

An Application of Interval Analysis in Software Static Analysis

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
5 Author(s)
Yawen Wang ; State Key Lab. of Networking & Switching Technol., Beijing Univ. of Posts & Telecommun., Beijing ; Yunzhan Gong ; Junliang Chen ; Qing Xiao
more authors

This paper extends the theory of interval arithmetic and applies interval analysis in software static analysis. It defines the concept of interval-set on numeric variables and its operations, introduces the interval computations on Boolean and reference types, and gives the possible value set and necessary value set of a variable in the condition expression. It also presents an approach of static analysis based on interval analysis (SABIA). Our experiment results show that SABIA can directly detect a certain number of infeasible paths in program, and the testing tool DTS_Java based on the approach can eliminate false positives efficiently.

Published in:

Embedded and Ubiquitous Computing, 2008. EUC '08. IEEE/IFIP International Conference on  (Volume:2 )

Date of Conference:

17-20 Dec. 2008