AbsInt développe des outils d'analyse statique pour les logiciels embarqués et critiques. Ses principaux produits sont aiT, qui calcule des bornes supérieures du temps d'exécution au pire cas des tâches, et Astrée, qui démontre l'absence d'erreurs à l'exécution dans les programmes C et C++. La gamme comprend aussi StackAnalyzer, RuleChecker et TimingProfiler. Ces outils permettent d'établir des garanties sur le temps et le comportement à l'exécution des logiciels.
AbsInt Angewandte Informatik GmbH est établie au Science Park 1 à Sarrebruck (Allemagne), selon sa page de contact. Le site ne mentionne ni société mère ni actionnaire majoritaire, donc aucun actionnaire étranger de contrôle n'est indiqué. En tant que société allemande, AbsInt relève du droit de l'UE, et les règles allemandes et européennes de protection des données s'appliquent à ses activités. Le site ne précise pas si les outils sont installés chez le client ou fournis en service cloud, ni où sont stockées les données clients. Ces points et les conditions de licence sont à confirmer avant achat.