Adacore improves static analysis tool, supports more environments

February 27, 2014 // By Christoph Hammerschmidt
With two new products, software tool vendor Adacore addresses the needs of safety-relevant software development including automotive software. The company's CodePeer static analysis tool has been revamped to deliver more precise diagnostic messages. And a new iteration of its GNAT Pro toolsuite has been significantly enhanced.

GNAT Pro 7.2, introduced at the Embedded World trade show in Nuremberg, now supports a number of additional real-time operating environments such as VxWorks Cert, LynxOS-178, and ARM under generic Linux. It comes with the GPS 6.0 integated development environment, which offers more space for editing than its predecessors. Other improvements supported include a new relational database in the GPS engine for more efficient coding, a new source navigation and the Eclipse plug-in GNATbench 2.8 which offers better support for Wind River's Workbench. The support for the CodePeer static analysis tool also has been improved. New to the environment is the GNAT2XML tool which generates XML files from Ada sources and helps developers to write Ada analysis tools in any language. Other new features of GNAT Pro 7.2 include new warnings and improved diagnostics, code generation optimizations, support for symbolic traceback in shared libraries, and improved cross Ada/C++ exception handling.

CodePeer assesses potential bugs before program execution to find errors efficiently and early in the development life cycle. It also performs impact and vulnerability analysis when existing code is modified, and, using control-flow, data-flow and other advanced static analysis techniques, the tool detects problems that would otherwise only be found through labor-intensive debugging.

The new update, version number 2.3, delivers less "false positives" - something that used to annouy generations of software developers. In addition, the tool offers better integration with AdaCore's developmentn environments GNAT Programming Studio and GNATbench. ). Other enhancements fo the tool include support for floating point overflow on unconstrained types, the ability to supply target configuration files, and improved support for existing codebases in Ada 83. Improved message review capabilities are now available through pragma Annotate, and the tool provides new warnings when a formal parameter could be declared with a more restrictive mode.

For more information visit www.adacore.com

Read also

AdaCore brings the safety of Ada to ARM processors