--- title: CodePeer slug: codepeer qid: Q17182531 snapshot: codepeer-1864880-6c30eea049fcbffc content_hash: 6c30eea049fcbffc9f435acd4eab5ab2fa8cd4ac79319c2d752aba6d09a980fa license: CC BY-SA 4.0 source: https://en.wikipedia.org/w/index.php?oldid=1372759514 tags: [129826521, 23283272, 23603337, 26220375, 31682880, 41964240] --- # CodePeer > [!note] Provenance > Snapshot `codepeer-1864880-6c30eea049fcbffc` · content root `6c30eea049fcbffc…` > Derived from · Licensed CC BY-SA 4.0 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.