Best 5 Ada static analysis tools

Structural source code analyzer by NASA's Jet Propulsion Laboratory.

Detects run-time and logic errors.

Provide code verification that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in source code.

Static analysis and formal verification toolset for Ada.

IDE that provides code analysis, standards testing, metrics, graphing, dependency analysis and more for Ada and VHDL.