Software:CodePeer

From HandWiki
Short description: Static analysis tool

CodePeer is a static analysis tool, which identifies constructs that are likely to lead to run-time errors such as buffer overflows, and it flags legal but suspect code, typical of logic errors [1] in Ada programs. All Ada run-time checks are exhaustively verified by CodePeer, using a variant of abstract interpretation.[2][3] In October 2014, CodePeer was qualified for use in safety-critical contexts [4] as a sound tool for identifying possible run-time errors. CodePeer also produces detailed as-built documentation of each subprogram, including pre- and post-conditions, to help with code review and to ease locating potential bugs and vulnerabilities early.[5]

CodePeer is produced by AdaCore, a computer software company with North American headquarters in New York City and European headquarters in Paris.

See also

References

  1. ↑ Cole, Bernard. "AdaCore releases new CodePeer static analysis tool". http://www.embedded.com/electronics-products/electronic-product-reviews/programming-languages-and-tools/4406744/AdaCore-releases-new-CodePeer-static-analysis-tool-. Retrieved 17 June 2014. 
  2. ↑ 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. 
  3. ↑ Taft, Tucker (May 2015). "Re-Engineering Abstract Interpretation". http://cps-vo.org/node/19243. Retrieved 4 June 2015. 
  4. ↑ Ayre, Jamie (October 2014). "AdaCore's CodePeer Static Analysis Tool Earns Qualification for Software Verification in Avionics, Railway". http://www.adacore.com/press/codepeer-earns-qualification/. Retrieved 4 June 2015. 
  5. ↑ Walsh, Trudy. "CodePeer spots Ada code errors early". http://gcn.com/Articles/2010/01/19/CodePeer-detects-errors-in-Ada-programs.aspx. Retrieved 17 June 2014. 

External links



Retrieved from "https://handwiki.org/wiki/index.php?title=Software:CodePeer&oldid=327324"