Astrée

absint.comsite

copyright: — Astrée automatically proves the absence of runtime errors and invalid con­current behavior in C/C++ applications. It is sound for floating-point computations, very fast, and exceptionally precise. The analyzer also checks for MISRA/CERT/CWE/Adaptive Autosar coding…

from

Static Analysis & Code Quality

added

2026-10-10

likes

0

similar

1. ▲

   Frama-C frama-c.com

   A sound and extensible static analyzer for C code.

   site link ↗
   site
2. ▲

   Nagelfar sourceforge.net

   A static syntax checker for Tcl.

   site link ↗
   site
3. ▲

   AppChecker npo-echelon.ru

   copyright: — Static analysis for C/C++/C#, PHP and Java.

   site link ↗
   site
4. ▲

   Axivion Bauhaus Suite axivion.com

   copyright: — Tracks down error-prone code locations, style violations, cloned or dead code, cyclic dependencies and more for C/C++, C#/.NET, Java and Ada 83/Ada 95.

   site link ↗
   
5. ▲

   SPARK adacore.com

   copyright: — Static analysis and formal verification toolset for Ada.

   site link ↗
   
6. ▲

   aflex-ayacc blog.vacs.fr

   Ada scanner and parser generators.

   site link ↗
   

Static Analysis & Code Quality › Programming Languages: “copyright: — Astrée automatically proves the absence of runtime errors and invalid con­current behavior in C/C++ applications. It is sound for floating-point computations, very fast, and exceptionally precise. The analyzer also checks for MISRA/CERT/CWE/Adaptive Autosar coding…”