Jump to content

CodePeer

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Jamieayre (talk | contribs) at 22:46, 11 June 2014 (Added open source). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

CodePeer[1] is an open source static analysis tool that detects run-time and logic errors in Ada programs. 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