5 Ada Static Analysis Tools

Detects run-time and logic errors.

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

Static analysis and formal verification toolset for Ada.

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.

Code visualization tool that provides code analysis, standards testing, metrics, graphing, dependency analysis and more for Ada, VHDL, and others.