CodePeer
It is proposed that this article be deleted because of the following concern:
If you can address this concern by improving, copyediting, sourcing, renaming, or merging the page, please edit this page and do so. You may remove this message if you improve the article or otherwise object to deletion for any reason. Although not required, you are encouraged to explain why you object to the deletion, either in your edit summary or on the talk page. If this template is removed, do not replace it. This message has remained in place for seven days, so the article may be deleted without further notice. Find sources: "CodePeer" – news · newspapers · books · scholar · JSTOR Nominator: Please consider notifying the author/project: {{subst:proposed deletion notify|CodePeer|concern=No evidence of notability as established by significant coverage in multiple, independent reliable sources.}} ~~~~ Timestamp: 20140611095105 09:51, 11 June 2014 (UTC) Administrators: delete |
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
- Static code analysis
- Software testing
- Software Security Assurance
- List of tools for static code analysis