Adacore improves static analysis tool, supports more environments

Adacore improves static analysis tool, supports more environments

New Products |
By eeNews Europe

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

Read also

AdaCore brings the safety of Ada to ARM processors

If you enjoyed this article, you will like the following ones: don't miss them by subscribing to :    eeNews on Google News


Linked Articles