Program Analysis on Evolving Software - Archive ouverte HAL Access content directly
Conference Papers Year : 2015

Program Analysis on Evolving Software

Daniel Kästner
  • Function : Author
Jan Pohland
  • Function : Author


Static analysis is well-suited for continuous verification during the software development stage since it only works on the source code and does not require a running system for testing. However, applying the program analysis during software development means that the analysis has to cope with evolving software and evolving analyzer configurations, especially in a model-based development process. In this article we present a unique history-aware concept for program analysis that has been developed for the static analyzer Astrée. It not only provides the ability to backtrack and access previous versions of the analysis configuration, it can also automatically determine the differences between two analysis configurations and relate them to the correct source code versions. Users can explicitly create a revision, i.e. a snapshot of the analysis project; changes of the source code, analysis options, analysis directives and results in different revisions are automatically detected and highlighted. The analyzer provides automatic correctness checks for all specified analysis directives, e.g., to tune the precision of the analyzer or provide information about the environment. This makes software verification applicable during the implementation stage, significantly reduces the effort to adapt the analyzer configuration to new source code versions, and makes analysis results on previous software versions easily reproducible.
Fichier principal
Vignette du fichier
CARSEDCC2015_paper_3.pdf (173.67 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01192985 , version 1 (04-09-2015)


  • HAL Id : hal-01192985 , version 1


Daniel Kästner, Jan Pohland. Program Analysis on Evolving Software. CARS 2015 - Critical Automotive applications: Robustness & Safety, Sep 2015, Paris, France. ⟨hal-01192985⟩


215 View
234 Download


Gmail Mastodon Facebook X LinkedIn More