AbsInt ontwikkelt tools voor statische analyse van ingebedde en veiligheidskritische software. De belangrijkste producten zijn aiT, dat de bovengrenzen van de uitvoeringstijd van taken berekent, en Astrée, dat het ontbreken van runtimefouten in C- en C++-programma's aantoont. Het productaanbod omvat ook StackAnalyzer, RuleChecker en TimingProfiler. De tools worden gebruikt om zekerheid te geven over de timing en het uitvoeringsgedrag van software.
AbsInt Angewandte Informatik GmbH is gevestigd op Science Park 1 in Saarbrücken (Duitsland), volgens de contactpagina. De website noemt geen moedermaatschappij of meerderheidsaandeelhouder, dus er is geen buitenlandse controlerende aandeelhouder vermeld. Als Duits bedrijf valt AbsInt onder EU-recht, en de Duitse en Europese regels voor gegevensbescherming gelden voor de bedrijfsvoering. De website zegt niet of de tools bij de klant worden geïnstalleerd of als cloudservice worden geleverd, en ook niet waar klantgegevens worden opgeslagen. Bevestig dit, samen met de licentievoorwaarden, vóór aankoop.