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

doi:10.1109/TASE.2007.55

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

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07
Pages	3-17
Number of pages	15
DOIs	https://doi.org/10.1109/TASE.2007.55
State	Published - 2007
Event	1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07 - Shanghai, China Duration: Jun 6 2007 → Jun 8 2007

Publication series

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

Other

Other	1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07
Country/Territory	China
City	Shanghai
Period	6/6/07 → 6/8/07

ASJC Scopus subject areas

General Computer Science

Access to Document

10.1109/TASE.2007.55

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). Article 4239943 (First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07). https://doi.org/10.1109/TASE.2007.55

Varieties of static analyzers: A comparison with ASTRÉE. / Cousot, Patrick; Cousot, Radhia; Feret, Jérôme et al.
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07. 2007. p. 3-17 4239943 (First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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., 4239943, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07, pp. 3-17, 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07, Shanghai, China, 6/6/07. https://doi.org/10.1109/TASE.2007.55

@inproceedings{ca9030c1600742058e4208bef54c596e,

title = "Varieties of static analyzers: A comparison with ASTR{\'E}E",

abstract = "We discuss the characteristic properties of ASTR{\'E}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.",

author = "Patrick Cousot and Radhia Cousot and J{\'e}r{\^o}me Feret and Antoine Min{\'e} and Laurent Mauborgne and David Monniaux and Xavier Rival",

year = "2007",

doi = "10.1109/TASE.2007.55",

language = "English (US)",

isbn = "0769528562",

series = "First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07",

pages = "3--17",

booktitle = "First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07",

note = "1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07 ; Conference date: 06-06-2007 Through 08-06-2007",

}

TY - GEN

T1 - Varieties of static analyzers

T2 - 1st Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07

AU - Cousot, Patrick

AU - Cousot, Radhia

AU - Feret, Jérôme

AU - Miné, Antoine

AU - Mauborgne, Laurent

AU - Monniaux, David

AU - Rival, Xavier

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=34548815895&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34548815895&partnerID=8YFLogxK

U2 - 10.1109/TASE.2007.55

DO - 10.1109/TASE.2007.55

M3 - Conference contribution

AN - SCOPUS:34548815895

SN - 0769528562

SN - 9780769528564

T3 - First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07

SP - 3

EP - 17

BT - First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07

Y2 - 6 June 2007 through 8 June 2007

ER -

Varieties of static analyzers: A comparison with ASTRÉE

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this