AdaCore’s CodePeer for mission-critical software, safety-critical, and security-critical systems

AdaCore’s CodePeer static analysis tool is streamlining its experiences within industries through mission-critical software, safety-critical, and security-critical systems.

In our connected world where imperfections are not tolerated, this analysis tool is helping improve computational accuracy; verify that code is free of certain categories of run-time errors such as buffer overflows, floating point underflows and overflows, integer overflows and references to uninitialized variables.

Atlantic Inertial Systems Limited, a UTC Aerospace Systems company in the U.K., is implementing the tool for usage on its TERPROM^® digital terrain system for military transport aircraft.