Varieties of static analyzers: A comparison with ASTRÉE

Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We discuss the characteristic properties of ASTRÉE, an automatic static analyzer for proving the absence of runtime errors in safety-critical real-time synchronous controlcommand C programs, and compare it with a variety of other program analysis tools.

Original languageEnglish (US)
Title of host publicationFirst Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07
Pages3-17
Number of pages15
DOIs
StatePublished - 2007
Event1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07 - Shanghai, China
Duration: Jun 6 2007Jun 8 2007

Publication series

NameFirst Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07

Other

Other1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07
CountryChina
CityShanghai
Period6/6/076/8/07

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Cousot, P., Cousot, R., Feret, J., Miné, A., Mauborgne, L., Monniaux, D., & Rival, X. (2007). Varieties of static analyzers: A comparison with ASTRÉE. In First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07 (pp. 3-17). [4239943] (First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07). https://doi.org/10.1109/TASE.2007.55