Saab Electronic Defence Systems Adopts CodePeer
PARIS, NEW YORK, and GÖTEBORG. June 12th, 2012 – Ada Europe Conference - AdaCore today announced that Saab Electronic Defence Systems (Sweden) has adopted the CodePeer static analyzer tool for use on the GIRAFFE project. This advanced static analysis tool helps developers detect potential run-time and logic errors in Ada programs. By mathematically analyzing every line of software, and considering every possible input and every path through the program, CodePeer can be used very early in the development lifecycle to identify problems when defects are much less costly to correct.
CodePeer is fully integrated into the GNAT Pro development environment and comes with a number of complementary static analysis tools common to the technology – a coding standard verification tool (GNATcheck), a source code metric generator (GNATmetric), a semantic analyzer, and a document generator that can be invoked through the GNAT Programming Studio (GPS) Integrated Development Environment (IDE).
"In our kind of development, it is very important to avoid bugs, or to find and repair them at an early stage, since those that remain in a deployed system are both expensive to fix and can cause a disastrous result. For this reason, a static analysis tool is a great help," said Anders Råberg, Software Systems Engineer at Saab. "During new code development, a tool like CodePeer actually helps our engineers to avoid those code constructs that are likely to cause problems, and thus encourages them to write more robust code."
"We are pleased to see that Saab engineers are taking advantage of the CodePeer tool in their everyday software development," said Yannick Moy, Senior Software Engineer at AdaCore. "Combined with the Ada programming language, GNAT Pro and CodePeer offer early bug detection that reduces project development time and costs".
“AdaCore has a longstanding business relationship with Saab,” said Jamie Ayre, Marketing Director at AdaCore EU. “With the introduction of new products such as CodePeer, and the continuing evolution of the Ada programming language through the Ada 2012 revision, we aim to continue to provide technology that satisfies Saab’s needs for developing reliable, critical systems.”
CodePeer is an Ada source code analyzer that detects run-time and logic errors. It assesses potential bugs before program execution, serving as an automated peer reviewer, helping to find errors efficiently and early in the development life-cycle. It can also be used to perform impact analysis when introducing changes to the existing code, as well as helping vulnerability analysis. Using control-flow, data-flow, and other advanced static analysis techniques, CodePeer detects errors that would otherwise only be found through labor-intensive debugging.
About Saab Electronic Defence Systems
Saab is one of the world’s leading high-technology companies, with its main operations focusing on defense, aviation and civil security. The Group covers a broad spectrum of competence and capabilities in systems integration. http://www.saabgroup.com/en/About-Saab/Company-profile/Organisation/Electronic-Defence-Systems/
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore's flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/customers for further information.
Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains, such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.
AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com
Posted on: 6/12/2012