AbsInt entwickelt Werkzeuge zur statischen Analyse von eingebetteter und sicherheitskritischer Software. Die wichtigsten Produkte sind aiT, das obere Schranken für die Ausführungszeit von Tasks berechnet, und Astrée, das das Fehlen von Laufzeitfehlern in C- und C++-Programmen nachweist. Das Angebot umfasst außerdem StackAnalyzer, RuleChecker und TimingProfiler. Die Werkzeuge dienen dazu, Aussagen über das Zeit- und Laufzeitverhalten von Software zu treffen.
AbsInt Angewandte Informatik GmbH hat ihren Sitz am Science Park 1 in Saarbrücken, wie die Kontaktseite angibt. Die Website nennt keine Muttergesellschaft und keinen Mehrheitseigner, daher ist auch kein ausländischer kontrollierender Gesellschafter genannt. Als deutsches Unternehmen unterliegt AbsInt dem EU-Recht, und die deutschen und europäischen Datenschutzregeln gelten für den Geschäftsbetrieb. Die Website sagt nicht, ob die Werkzeuge beim Kunden installiert oder als Cloud-Dienst bereitgestellt werden, noch wo Kundendaten gespeichert werden. Diese Punkte sowie die Lizenzbedingungen sollte man vor dem Kauf bestätigen.