CodePeer is a source code analyzer tool that detects run-time and logic errors such as buffer overflows in Ada programs.
