AbsInt GmbH

AbsInt provides advanced development tools for embedded systems with a focus on validation, verification and certification of safety-critical and security-relevant software. Key products include static analysis tools for checking coding guidelines, timing and stack usage analysis, and detecting critical programming errors in C/C++ code, as well as the formally verified compiler CompCert. In 2022, the development of CompCert was honored with the prestigious ACM Software System Award: https://awards.acm.org/software-system. AbsInt was founded 25 years ago and is a privately-held company based in Saarbrücken, Germany. We serve companies from all over the world and from various industries, including aerospace, automotive, medical and energy - see https://www.absint.com/success.htm.