Sciweavers

Share
CAV
2005
Springer

Incremental Algorithms for Inter-procedural Analysis of Safety Properties

10 years 1 months ago
Incremental Algorithms for Inter-procedural Analysis of Safety Properties
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.
Christopher L. Conway, Kedar S. Namjoshi, Dennis D
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CAV
Authors Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards
Comments (0)
books