Varieties of Static Analyzers: A Comparison with ASTRÉE

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 control/command C programs, and compare it with a variety of other program analysis tools.

Mots clés

static analysis abstract interpretations program semantics system dependencies soundness

Domaines

Langage de programmation [cs.PL]

Fichier principal

CousotP-Astree-TASE07.pdf (567.51 Ko)

Origine	Fichiers produits par l'(les) auteur(s)

David Monniaux : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00154031

Soumis le : jeudi 29 juin 2017-21:52:53

Dernière modification le : lundi 9 décembre 2024-15:32:38

Archivage à long terme le : lundi 22 janvier 2018-19:01:23

Dates et versions

hal-00154031 , version 1 (29-06-2017)

Identifiants

HAL Id : hal-00154031 , version 1
DOI : 10.1109/TASE.2007.55

Citer

Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, et al.. Varieties of Static Analyzers: A Comparison with ASTRÉE. First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07), Jun 2007, Shanghai, China. pp.3-20, ⟨10.1109/TASE.2007.55⟩. ⟨hal-00154031⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-PARIS CNRS INRIA PSL

103 Consultations

359 Téléchargements