CodePeer is a
static analysis
Static analysis, static projection, or static scoring is a simplified analysis wherein the effect of an immediate change to a system is calculated without regard to the longer-term response of the system to that change. If the short-term effect i ...
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
Ada may refer to:
Arts and entertainment
* '' Ada or Ardor: A Family Chronicle'', a novel by Vladimir Nabokov
Film and television
* Ada, a character in 1991 movie '' Armour of God II: Operation Condor''
* '' Ada... A Way of Life'', a 2008 Bollywo ...
programs. All Ada run-time checks are exhaustively verified by CodePeer, using a variant of
abstract interpretation
In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer pro ...
. 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
GNAT is a free-software compiler for the Ada programming language which forms part of the GNU Compiler Collection (GCC). It supports all versions of the language, i.e. Ada 2012, Ada 2005, Ada 95 and Ada 83. Originally its n ...
, a
computer software
Software consists of computer programs that instruct the Execution (computing), execution of a computer. Software also includes design documents and specifications.
The history of software is closely tied to the development of digital comput ...
company with North American headquarters in
New York City
New York, often called New York City (NYC), is the most populous city in the United States, located at the southern tip of New York State on one of the world's largest natural harbors. The city comprises five boroughs, each coextensive w ...
and European headquarters in
Paris
Paris () is the Capital city, capital and List of communes in France with over 20,000 inhabitants, largest city of France. With an estimated population of 2,048,472 residents in January 2025 in an area of more than , Paris is the List of ci ...
.
See also
*
Abstract interpretation
In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer pro ...
*
Static code analysis
In computer science, static program analysis (also known as static analysis or static simulation) is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs duri ...
*
Software testing
Software testing is the act of checking whether software satisfies expectations.
Software testing can provide objective, independent information about the Quality (business), quality of software and the risk of its failure to a User (computin ...
*
Software Security Assurance
Software security assurance is a process that helps design and implement software that protects the data and resources contained in and controlled by that software. Software is itself a resource and thus must be afforded appropriate security.
Wha ...
*
List of tools for static code analysis
This is a list of notable tools for static program analysis (program analysis is a synonym for code analysis).
Static code analysis tools
Languages
Ada
*
*
*
*
*
*
*
*
*
C, C++
*
* Axivion Suite (Bauhaus)
*
*
* ...
References
External links
CodePeer product descriptionAdaCore web siteCodePeer qualification news releaseAdaCore's CodePeer developed in partnership with SofCheckWhy is static analysis a challenge? - interview with Michael FriessTucker Taft, "Advanced static analysis meets contract-based programming", 2013.Embedded Computing Design, "Making static analysis a part of code review", 2009.
{{DEFAULTSORT:CodePeer
Static program analysis tools
Java platform software
Development software companies