Tel. +31­ 345 545535
Coming soon...
Who we work with
What's going on
Something to read
Who we are
Where we are
You are on the following page: News Nederlands | French

Static Analysis at Bosch

Saarbrücken, May 21, 2019. Today marks the first anniversary of AbsInt providing Bosch with a worldwide license for the use of the static program analyzers Astrée and RuleChecker.

Astrée proves the absence of runtime errors and invalid concurrent behaviors in embedded C programs. The covered runtime errors include safety-relevant program defects and cybersecurity vulnerabilities, e.g. divisions by zero, out-of-bounds array accesses, buffer overflows, dangling and null pointers accesses, and so on.

RuleChecker computes code metrics and checks C and C++ programs for adherence to coding guidelines, including MISRA C/C++, CWE, ISO/IEC TS 17961, and SEI CERT C.

With AbsInt's support, the two analyzers were integrated into the development and verification processes for steering systems at the Automotive Steering division at Bosch, as a pilot project for the entire company.

The driving factors for Bosch to switch to AbsInt tools were the faster analysis speeds, improved accuracy and less time needed for results reviews compared to previously used tools, and flexible licensing policy by AbsInt.

"We are happy to see that our recent efforts to speed up the analysis for huge code bases and the recent extensions to handle data races, inconsistent locking, and C++ have paid off", said Dr. Christian Ferdinand, CEO of AbsInt.

Bosch also licensed the qualification modules for Astrée and RuleChecker. They contribute to an automatic tool qualification process, e.g. with regard to ISO 26262.

About AbsInt

AbsInt provides unique development tools for embedded systems, with a focus on validation, verifi­cation and certifi­cation of safety-critical software. AbsInt's tools help ensure that the software is reliable, robust, and less expensive to produce within a shorter devel­opment cycle.

The company name is an acronym for "abstract interpretation", a sophisticated approach to static program analysis on which many of the company's highly successful products are based. Founded in 1998, AbsInt is a privately-held company in Saarbrücken, Germany.

For further information, contact Gerard Fianen.








INDES-IDS BV offers solutions for Embedded Software Development as well as for the Telecommunication NEMS and Service Providers. In these markets we offer products of either the market leader or the innovation leaders. Our goal is to assist you to get to the market sooner by offering a combination of products, knowledge and services.