En réalisant une analyse statique du code C/C++, Astrée d'AbsInt détecte les erreurs de codage et vérifie certaines règles de bonnes pratiques. Indispensable pour la validation, la vérification et la certification de logiciels embarqués critiques qui doivent satisfaire aux exigences de sureté de fonctionnement et de cybersécurité tels que les DO178B/C, ISO 26262, IEC 61508, EN 50128 ou ISO 21434.