• Development log
  • Technical papers
  • Live docs

More Resources

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.