AbsInt is an SME focused on the development of program analysis tools for the verification, validation, and certification of safety-critical software. AbsInt's product range includes tools for compilation, stack usage analysis, timing analysis, and runtime-error detection. The timing and stack analyzers operate on executables for various processor architectures including modern micro-controllers with caches and complex pipelines. The Astrée tool finds run-time errors in single-threaded and multi-threaded C programs or proves their absence. These analysis tools are based on an abstract interpretation approach. AbsInt is also selling commercial licenses for the CompCert C compiler, which has been licensed from INRIA for industrialization and commercial exploitation. What sets CompCert apart from any other production compiler is that it is formally verified, using machine-assisted mathematical proofs, to be exempt from miscompilation issues. In the MORAL project, AbsInt will implement a new backend for the CompCert compiler so that it can generate code for the Peaktop processor.

AbsInt has business relationships with Suppliers and OEMs in the avionic and automotive domains who need to verify that their software satisfies the necessary safety constraints. AbsInt's customers include large companies with safety-critical applications such as Airbus, Bosch, Daimler, Siemens, and Infineon.