AbsInt

AbsInt is a German software technology company focused on static analysis, program verification, and related engineering tools for embedded and safety-critical software. Its products analyze source code and binary programs to help development teams detect runtime errors, assess resource usage, and produce evidence supporting software reliability and safety. Typical application areas include automotive, aerospace, rail, industrial automation, and other sectors with stringent functional-safety or dependability requirements. The company’s portfolio centers on analysis tools for use cases such as runtime-error detection, worst-case execution-time analysis, and stack-usage analysis. Because these tools are commonly used alongside industry standards, certification processes, and embedded development environments, AbsInt is positioned primarily as a specialist software vendor and engineering technology provider rather than a consumer software brand. Publicly verified information about its founding year, founders, and ownership structure is limited.

AbsInt is a software technology company headquartered in Saarbrücken, Germany, with a focus on static analysis and verification of embedded programs. Its work addresses several core issues in the development of safety-critical software: whether a program may contain runtime errors, what upper bounds can be established for execution time on a target processor, and how much stack space tasks or functions may consume. Its tools are generally used in industries that require high reliability, traceability, and support for certification rather than in the consumer desktop-software market. Publicly verifiable information is concentrated on the company’s products and application areas; detailed information on its founding date, founders, ownership changes, and operating scale is insufficient and is therefore not stated here.

• Astrée

  Astrée is a static-analysis tool for embedded software. It checks for classes of potential runtime errors without relying solely on extensive execution-based testing and is intended to support the development and verification of highly reliable and safety-critical code.

• aiT

  aiT analyzes the worst-case execution time of embedded programs on specific processors and compilation environments. The analysis can help engineering teams assess real-time constraints and support the design and verification of real-time systems.

• StackAnalyzer

  StackAnalyzer estimates and analyzes stack usage in embedded programs, helping developers identify potential stack-space risks. It is intended for resource-constrained embedded systems and can form part of memory planning and software verification workflows.

1. 1AbsInt official websiteabsint.com