CodePeer 3 is the most advanced static analysis tool available for Ada – now qualified under DO-178B and EN50128 with support for IEEE 754 floating point semantics and enhanced support for project files. It can detect several of the “Top 25 Most Dangerous Software Errors” in the Common Weakness Enumeration: CWE-120 (Classic Buffer Overflow), CWE-131 (Incorrect Calculation of Buffer Size), and CWE-190 (Integer Overflow or Wraparound).