Incremental Algorithms for Inter-procedural Analysis of Safety Properties

  • Christopher L. Conway
  • Kedar S. Namjoshi
  • Dennis Dams
  • Stephen A. Edwards
Conference paper

DOI: 10.1007/11513988_45

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3576)
Cite this paper as:
Conway C.L., Namjoshi K.S., Dams D., Edwards S.A. (2005) Incremental Algorithms for Inter-procedural Analysis of Safety Properties. In: Etessami K., Rajamani S.K. (eds) Computer Aided Verification. CAV 2005. Lecture Notes in Computer Science, vol 3576. Springer, Berlin, Heidelberg

Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Christopher L. Conway
    • 1
  • Kedar S. Namjoshi
    • 2
  • Dennis Dams
    • 2
  • Stephen A. Edwards
    • 1
  1. 1.Department of Computer ScienceColumbia University 
  2. 2.Bell LabsLucent Technologies 

Personalised recommendations