Home | Contact | Pricing | News | Events | Partners | Mailing List | Site Map
  • Development log
  • Technical papers
  • Live docs

More Resources

AdaCore on YouTube
Webinars
Ada Gems

Recent Papers

Browse by Technology

Dev Log Archives

CodePeer

 rss feed
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.