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, finding errors 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
External links
- AdaCore web site
- Video on CodePeer Product Demonstration
- AdaCore's CodePeer developed in partnership with SofCheck
- Why is static analysis a challenge? - interview with Michael Friess
References
- Bernard Cole, "AdaCore releases new CodePeer static analysis tool", 2012.
- Trudy Walsh, "CodePeer spots Ada code errors early", 2010.
- Tucker Taft, "Advanced static analysis meets contract-based programming", 2013.
- Embedded Computing Design, "Making static analysis a part of code review", 2009.
Books
- Jean-Louis Boulanger: CodePeer - Beyond Bug-finding with Static Analysis in Static Analysis of Software: The Abstract Interpretation, Hoboken: John Wiley & Sons, Inc., 2013. ISBN: 9781118602867
- Kase Johnstun: Game-Changing Tools and Practices in Crosstalk : The Journal of Defense Software Engineering, Vol. 23, Issue 5. USAF Software Technology Support Center, 2010. Book ID WPLBN0002112642