Precise range analysis on large industry code

Shrawan Kumar, Bharti Chimdyalwar, Ulka Shrotri

Abstract

Abstract interpretation is widely used to perform static code analysis with non-relational (interval) as well as relational (difference-bound matrices, polyhedral) domains. Analysis using non-relational domains is highly scalable but delivers imprecise results, whereas, use of relational domains produces precise results but does not scale up. We have developed a tool that implements K-limited path sensitive interval domain analysis to get precise results without losing on scalability. The tool was able to successfully analyse 10 million lines of embedded code for different properties such as division by zero, array index out of bound (AIOB), overflow-underflow and so on. This paper presents details of the tool and results of our experiments for detecting AIOB property. A comparison with the existing tools in the market demonstrates that our tool is more precise and scales better.

BibTeX

@inproceedings{Kumar-al:FSE13,
  author    = {Shrawan Kumar and
               Bharti Chimdyalwar and
               Ulka Shrotri},
  title     = {Precise range analysis on large industry code},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {675--678},
  publisher = {{ACM}},
  year      = {2013},
}

Precise range analysis on large industry code

Abstract

Related papers