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

Détection et des erreurs de codage et vérification de règles de bonne pratique sont 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’AbsInt et QA-MISRA de QA Systems permettent une analyse statique de code C/C++ en vue du debbugage et de la validation de ce code. QA-MISRA est dévolu aux règles de codage tandis qu’Astrée le complète en ajoutant une détection fine des erreurs de codage.

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
  • CODESECURE – CODESENTRY

    Délivrer un code sûr et sécurisé est bien plus qu'une obligation réglementaire, c'est une nécessité de tous les jours que les outils SAST et SCA de CODESECURE rendent possible. Détection de vulnérabilités au niveau du code C/C++, qu'il soit du code source ou un binaire, et analyse du contenu de vos Builds sont indispensables à la production de code de qualité. L'outil CodeSentry scanne votre code binaire à la recherche de vulnérabilités et de risques software, générant votre SBOM et répondant aux risques SSCS.

    Recevez le PDF de cette fiche par e-mail
    Demandez plus d'informations
  • QA SYSTEMS – QA-MISRA

    QA-MISRA de QA Systems est un outil d'analyse de règles de codage pour code C/C++. Il assure une vérification rapide de la conformité du code aux règles de sureté et de cybersécurité MISRA C 2012, MISRA C++ 2008, AUTOSAR C++14, HIS Metrics, JSF AV C++, CERT C/C++ 2016, CWE 4.7 et ISO TS 17961:2013.

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