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.

Astrée détecte erreurs de codage et failles de sécurité à coup sûr, c’est-à-dire que si aucune erreur n’est signalée, l’absence d’erreurs a été prouvée.: divisions par zéro, débordement d’index, de buffer, défauts d’initialisation de variables, pointeurs nuls ou invalides, tainted data, data race, code mort, entre autres.

Il propose aussi des vérifications de règles de codages pour la sureté de fonctionnement et la cybersécurité, telles MISRA-C, AUTOSAR, MITRE, CWE, SEI, CERT Secure C, ISO/IEC TS 17961:2013, Spectre v1, v1.1 et Split-Spectre.

L’analyse des erreurs d’exécution peut être appliquée aux bases de code C, C++ et mixtes C/C++.
Astrée vient avec des plugins pour TargetLink, Jenkins et Eclipse, ainsi que des Qualification Support Kits pour automatiser et passer les processus de qualification requis par les DO-178B/C, ISO 26262, IEC 61508, EN-50128, les principes de validation des logiciels de la FDA et autres standards de sureté de fonctionnement.

Contactez nous pour une démonstration en ligne ou pour accéder à la version d’évaluation gratuite, avec support technique et formation en ligne.