Articles

Incremental Algorithms for Inter-procedural Analysis of Safety Properties

Conway, Christopher L.; Namjoshi, Kedar S.; Dams, Dennis; Edwards, Stephen A.

Automaton-based static program analysis has proved to be an effective tool for bug finding. Current tools generally re-analyze a program from scratch in response to a change in the code, which can result in much duplicated effort. We present an inter-procedural algorithm that analyzes incrementally in response to program changes and present experiments for a null-pointer dereference analysis. It shows a substantial speed-up over re-analysis from scratch, with a manageable amount of disk space used to store information between analysis runs.

Subjects

Files

Also Published In

Title
Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005: Proceedings
Publisher
Springer
DOI
https://doi.org/10.1007/11513988_45

More About This Work

Academic Units
Computer Science
Series
Lecture Notes in Computer Science, 3576
Published Here
March 8, 2012