AbsInt

CompCert: Advancing Confidence in Safety-Critical Software Development

In the modern age where everything is run by software, the reliability of software toolchains plays a crucial role in safety critical industries such as aerospace, automotive and industrial appli[...]

Release 26.04 CompCert

New features New function attribute alias for ELF targets, allowing to add weak aliases, i.e. alternate names for functions. New command line options to select data types implementing size_t and[...]

Release 26.04 Astrée and RuleChecker

Astrée and RuleChecker Release 26.04 An HTML version of these release notes is available at absint.com/releasenotes/astree/26.04 A video summary is available at youtube.com/watch?v=iqTdNtoJjBU [...]

Release 26.04 aiT, TimeWeaver, TimingProfiler, StackAnalyzer, ValueAnalyzer, EnergyAnalyzer

a³ 26.04 release notes An HTML version of these notes is available at absint.com/releasenotes/a3/26.04 A video summary is available at youtube.com/watch?v=rQmJIzzgohE New targets * TimeWeave[...]

CompCert Qualification Achieved for Avionics Software

AbsInt is proud to announce that at the beginning of 2026 the CompCert compiler has officially been qualified for the Multi-Function Computer New Generation (MFC_NG) of ATR 42/72 aircrafts. For t[...]

New Targets for AbsInt Tools

New Targets     - StackAnalyzer for ARM 32-bit/LLVM/Clang-based compiler      - StackAnalyzer for ARM 64-bit/LLVM/Clang-based compiler      - StackAnalyzer for Infineon TriCore-AURIX/CompCert com[...]

Release 25.10 of AbsInt Tools for Safety-Critical Software Development

All Products =============== - The AbsInt Linux tools require now RHEL 9 or compatible and ship a Dockerfile creating a compatible Rocky Linux 9 container to facilitate deployment in containerize[...]

The first and only formally verified C compiler for safety-critical TriCore applications

CompCert for TriCore is a formally verified optimizing C compiler. Its intended use is compiling safety-critical software and meeting the highest levels of assurance.   Can you trust your compile[...]

25.10 Release of AbsInt Tools for Safety-Critical Software Development

 All tools =========== - The AbsInt Linux tools require now RHEL 9 or compatible and ship a Dockerfile creating   a compatible Rocky Linux 9 container to facilitate deployment in containerized en[...]

Product Update: Release 25.04

Optimized decoding Improved graphs, stats, and search All-new widget for trace-based guessing of DLL addresses Improved DWARF handling Improved CSV export Improved character encoding in all edit[...]