CodePeer
CodePeer is an open source 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. CodePeer also produces a detailed analysis of each subprogram, including pre- and post-conditions, making it easier to find potential bugs and vulnerabilities early.[2]
CodePeer is produced by AdaCore, a computer software company with North American headquarters in New York and European headquarters in Paris.
See also
- Static code analysis
- Software testing
- Software Security Assurance
- List of tools for static code analysis
References
- ^ Cole, Bernard. "AdaCore releases new CodePeer static analysis tool". Embedded. Retrieved 17 June 2014.
- ^ Walsh, Trudy. "CodePeer spots Ada code errors early". GCN. Retrieved 17 June 2014.
External links
- AdaCore web site
- AdaCore's CodePeer developed in partnership with SofCheck
- Why is static analysis a challenge? - interview with Michael Friess
- Tucker Taft, "Advanced static analysis meets contract-based programming", 2013.
- Embedded Computing Design, "Making static analysis a part of code review", 2009.