AdaCore has expanded the scope of its code analysis and development portfolio with new versions of both CodePeer and the GNAT development environment.
- Securosis Analyst Report: Security and Privacy on the Encrypted Network
- Overview: Cloud Operations Platfom for AWS
Now moving to version 2.2, the CodePeer static analysis tool exists to help developers detect potential runtime and logic errors in Ada programs. New in this version are interfaces to Eclipse and spreadsheets. As well as additional HTML capabilities, the company says that this version is capable of handing requirements for the "highest levels of integrity and certification" — and this incorporates systems with large and complex code bases.
In line with the CodePeer update, GNAT Pro now moves to version 7.1 so that this development environment now supports an "increasingly wider" range of platforms and targets.
We are told that the "most striking" new feature of GNAT Pro 7.1 is support for automatic data endianness conversion — it's apparently already a customer favorite.
NOTE: IBM defines endianness as an attribute of a system that indicates whether integers are represented with the most significant byte stored at the lowest address (big endian) or at the highest address (little endian).
Returning to CodePeer 2.2, the product introduces integration into GNATbench (the GNAT Pro Ada plug-in for Eclipse and Wind River Systems Workbench), there is also full support for GNAT project files, message review from HTML reports, and a new "–level" switch to easily tune CodePeer messages and analysis time for any kind of code base.
"CodePeer 2.2 brings users an extra level of flexibility through interfaces to Eclipse, spreadsheets, and full HTML capabilities," said Arnaud Charlet, CodePeer product manager at AdaCore. "This new release now provides solutions for the full range of Ada projects, including those with requirements for the highest levels of integrity and certification, as well as systems with large and complex code bases."