Title :
Varieties of Static Analyzers: A Comparison with ASTREE
Author :
Cousot, Patrick ; Cousot, Radhia ; Feret, Jer Ome ; Mine, Antoine ; Mauborgne, Laurent ; Monniaux, David ; Rival, Xavier
Author_Institution :
Ecole Normale Super., Paris
Abstract :
We discuss the characteristic properties of ASTREE, 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.
Keywords :
program diagnostics; ASTREE; C programs; automatic static analyzer; program analysis tools; runtime errors; safety-critical real-time synchronous control command; Automatic control; Error correction; Failure analysis; Fault tolerant systems; Hardware; Instruments; Performance evaluation; Runtime environment; Safety; Testing;
Conference_Titel :
Theoretical Aspects of Software Engineering, 2007. TASE '07. First Joint IEEE/IFIP Symposium on
Conference_Location :
Shanghai
Print_ISBN :
978-0-7695-2856-4
DOI :
10.1109/TASE.2007.55
