CodePeer
≈ 2 min read
Names in other languages
- caCodePeer
- DeutschCodePeer
- EnglishCodePeer
- EspañolCodePeer
- FrançaisCodePeer
- ItalianoCodePeer
- PortuguêsCodePeer
- RomânăCodePeer
Article bodies are English and are not machine-translated. A name in another language is not a translation of the article.
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 in Ada programs. All Ada run-time checks are exhaustively verified by CodePeer, using a variant of abstract interpretation. In October 2014, CodePeer was qualified for use in safety-critical contexts 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. CodePeer is produced by AdaCore, a computer software company with North American headquarters in New York City and European headquarters in Paris.
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 in Ada programs. All Ada run-time checks are exhaustively verified by CodePeer, using a variant of abstract interpretation. In October 2014, CodePeer was qualified for use in safety-critical contexts 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. CodePeer is produced by AdaCore, a computer software company with North American headquarters in New York City and European headquarters in Paris. ==See also== Abstract interpretation Static code analysis Software testing Software Security Assurance List of tools for static code analysis ==References== ==External links== CodePeer product description AdaCore web site CodePeer qualification news release AdaCore's CodePeer developed in partnership with SofCheck Tucker Taft, "Advanced static analysis meets contract-based programming", 2013. Embedded Computing Design, "Making static analysis a part of code review", 2009.
Text derived from https://en.wikipedia.org/w/index.php?oldid=1372759514 under CC BY-SA 4.0; modifications have been made.