Varieties of Static Analyzers: A Comparison with ASTREE

1 June 2007

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 3-20
https://doi.org/10.1109/tase.2007.55

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

This publication has 41 references indexed in Scilit:

Valgrind
Published by Association for Computing Machinery (ACM) ,2007
An empirical study on classification methods for alarms from a bug-finding static C analyzer
Information Processing Letters, 2007
On the value of static analysis for fault detection in software
IEEE Transactions on Software Engineering, 2006
Evaluating and tuning a static analysis to find null pointer bugs
Published by Association for Computing Machinery (ACM) ,2005
CCured: type-safe retrofitting of legacy software
ACM Transactions on Programming Languages and Systems, 2005
Static analysis tools as early indicators of pre-release defect density
Published by Association for Computing Machinery (ACM) ,2005
Compositional Analysis of Floating-Point Linear Numerical Filters
Published by Springer Nature ,2005
Model Checking Programs
Automated Software Engineering, 2003
Lazy abstraction
Published by Association for Computing Machinery (ACM) ,2002
Design and code inspections to reduce errors in program development
IBM Systems Journal, 1976