Referenced Items are not available for this document.
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
- Page(s):
- 367 - 372
- Print ISBN:
- 978-0-7695-3492-3
- INSPEC Accession Number:
- 10415860
- Conference Location :
- Shanghai
- Digital Object Identifier :
- 10.1109/EUC.2008.60
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
