Vérification de règles de codage et détection d'erreurs en C/C++

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.

Filters
  • ABSINT – ASTRÉE

    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.

    Recevez le PDF de cette fiche par e-mail
    Demandez plus d'informations