Varieties of Static Analyzers: A Comparison with ASTREE
Patrick M. Cousot, Radhia Cousot, Jérôme Ferêt, Antoine Miné, Laurent Mauborgne, David P. Monniaux, Xavier Rival · 2007
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.