In addition to the standard CodePeer support package, AdaCore offers specialized on-site engineering, training and custom CodePeer development services based on specific customer requirements.
AdaCore provides training for CodePeer standalone or as part of your GNAT Pro configuration. For more information please contact sales@adacore.com.
Learn more
For projects requiring very high priority support or specialized
expertise AdaCore offers custom support
and engineering services. For more information please contact sales@adacore.com.
Serving as an efficient and accurate code reviewer — in effect an expert assistant — CodePeer 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.
Continue Reading
CodePeer assesses a program for potential bugs before it is executed, in effect serving as an automated peer review. Using control-flow data-flow, and other advanced static analysis techniques, CodePeer detects errors that would otherwise only be found through labor-intensive debugging.
Continue Reading