CodePeer
CodePeer[1] is an Ada static analysis tool that detects run-time and logic errors. It assesses potential bugs before program execution, serving as an automated peer reviewer, helping to find errors efficiently and early in the development life-cycle. It assesses potential bugs before program execution, serving as an automated peer reviewer, helping to find errors efficiently and early in the development life-cycle. It can also be used to perform impact analysis when introducing changes to the existing code, as well as helping vulnerability analysis.
CodePeer is produced by AdaCore, a computer software company with North American headquarters in New York and European headquarters in Paris.
See also
- Static code analysis
- Software testing
- Software Security Assurance
- List of tools for static code analysis