Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
CodePeer
open-in-new
<h2 id="see-also">See also</h2> <ul><li><a href="/facts/Abstract_interpretation/cj6wjzu1">Abstract interpretation</a></li> <li><a href="/facts/Static_code_analysis/b56nr6QM">Static code analysis</a></li> <li><a href="/facts/Software_testing/VoXzG9Tb">Software testing</a></li> <li><a href="/facts/Software_Security_Assurance/4wyxlyqU">Software Security Assurance</a></li> <li><a href="/facts/List_of_tools_for_static_code_analysis/E9bcvnrD">List of tools for static code analysis</a></li></ul> <h2 id="external-links">External links</h2> <ul><li><a href="http://www.adacore.com/codepeer">CodePeer product description</a></li> <li><a href="http://www.adacore.com">AdaCore web site</a></li> <li><a href="http://www.adacore.com/press/codepeer-earns-qualification/">CodePeer qualification news release</a></li> <li><a href="https://web.archive.org/web/20101202070504/http://www.adacore.com/2010/01/12/codepeer-launch/">AdaCore's CodePeer developed in partnership with SofCheck</a></li> <li><a href="https://archive.today/20140616105327/http://www.embedded-news.tv/component/resource/article/1-all-videos/91-why-is-static-analysis-a-challenge-interview-with-michael-friess-adacore?lastid=91">Why is static analysis a challenge? - interview with Michael Friess</a></li> <li><a href="http://embedded-computing.com/articles/advanced-meets-contract-based-programming/">Tucker Taft, "Advanced static analysis meets contract-based programming", 2013.</a></li> <li><a href="http://embedded-computing.com/article-id/?4014">Embedded Computing Design, "Making static analysis a part of code review", 2009.</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Cole, Bernard. "AdaCore releases new CodePeer static analysis tool". Embedded. Retrieved 17 June 2014. <a href="https://www.embedded.com/electronics-products/electronic-product-reviews/programming-languages-and-tools/4406744/AdaCore-releases-new-CodePeer-static-analysis-tool-" target="_blank">https://www.embedded.com/electronics-products/electronic-product-reviews/programming-languages-and-tools/4406744/AdaCore-releases-new-CodePeer-static-analysis-tool-</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Boulanger, Jean-Louis (November 2011). CodePeer – Beyond Bug-finding with Static Analysis (Static Analysis of Software: The Abstract Interpretation ed.). Hoboken, NJ, USA.: Wiley. p. 183. ISBN 978-1-84821-320-3. <a href="978-1-84821-320-3" target="_blank">978-1-84821-320-3</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Taft, Tucker (May 2015). "Re-Engineering Abstract Interpretation". HCSS Conference. Retrieved 4 June 2015. <a href="http://cps-vo.org/node/19243" target="_blank">http://cps-vo.org/node/19243</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>Ayre, Jamie (October 2014). "AdaCore's CodePeer Static Analysis Tool Earns Qualification for Software Verification in Avionics, Railway". Retrieved 4 June 2015. <a href="http://www.adacore.com/press/codepeer-earns-qualification/" target="_blank">http://www.adacore.com/press/codepeer-earns-qualification/</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>Walsh, Trudy. "CodePeer spots Ada code errors early". GCN. Retrieved 17 June 2014. <a href="http://gcn.com/Articles/2010/01/19/CodePeer-detects-errors-in-Ada-programs.aspx" target="_blank">http://gcn.com/Articles/2010/01/19/CodePeer-detects-errors-in-Ada-programs.aspx</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> </ol>