AbsInt develops static analysis tools for embedded and safety-critical software. Its main products are aiT, which computes upper bounds for the worst-case execution time of tasks, and Astrée, which proves the absence of run-time errors in C and C++ programs. The product range also includes StackAnalyzer, RuleChecker and TimingProfiler. The tools are used to give guarantees about the timing and run-time behaviour of software.
AbsInt Angewandte Informatik GmbH is based at Science Park 1 in Saarbrücken, Germany, and its contact page gives that address as its location. The website names no parent company or majority owner, so no foreign controlling shareholder is stated. As a German company, AbsInt falls under EU law, and German and EU data-protection rules apply to its operations. The website does not say whether the tools are installed on the customer's systems or delivered as a cloud service, nor where customer data is stored. A European organisation should confirm these points, and the licence terms, before purchase.