CodePeer
The name shown is in nn. The article below is in English and is not a translation.
≈ 2 min read
Names in other languages
- astCodePeer
- caCodePeer
- daCodePeer
- DeutschCodePeer
- EnglishCodePeer
- EspañolCodePeer
- fiCodePeer
- FrançaisCodePeer
- ItalianoCodePeer
- NederlandsCodePeer
- nnCodePeer
- PortuguêsCodePeer
- RomânăCodePeer
- SvenskaCodePeer
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.