ABSINT

Filters
  • ABSINT – STACKANALYZER

    Les débordements de pile sont une des principales causes de plantage ou de piratage d'un logiciel, alors même que le programmeur est contraint par des ressources mémoire limitées en embarqué. StackAnalyzer d'AbsInt fait une analyse statique du code et détermine avec précision les bornes supérieures de la pile pour chaque module logiciel. 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
  • ABSINT – AIT WCET

    aiT WCET (Worst Case Execution Time) calcule les temps d’exécution au pire cas des taches de votre application embarquée, vous garantissant les temps de réaction de vos systèmes critiques.identifie les chemins critiques du point de vue des temps d’exécution, Cet outil est 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
  • ABSINT – VALUEANALYZER

    ValueAnalyzer d'AbsInt est un add-on des outils aiT, TimingProfiler, TimeWeaver et StackAnalyzer d'analyse statique du contenu des registres et de la mémoire. Il détecte code mort, accès mémoire illégaux, erreurs de compilation dans le code objet.

    Recevez le PDF de cette fiche par e-mail
    Demandez plus d'informations
  • 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
  • ABSINT – COMPCERT

    Les compilateurs peuvent dégrader certaines garanties en apportant des optimisations sur l'exécutable. CompCert d'AbsInt apporte ces garanties de compilation de code C tout en optimisant les performances d'exécution. 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 d'un code C/C++, Java, C#, Kotlin, Python, Go, Rust, JavaScript et TypeScript, 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
  • CODESECURE – CODESONAR

    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 d'un code C/C++, Java, C#, Kotlin, Python, Go, Rust, JavaScript et TypeScript, 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 SAST CodeSonar analyse votre code source ou binaire à la recherche de vulnérabilité.

    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
  • ABSINT – TIMINGPROFILER

    TimingProfiler d'AbsInt identifie les chemins critiques du point de vue des temps d’exécution, par une simple analyse statique du code compilé. Cet outil est 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
  • ABSINT – TIMEWEAVER

    TimeWeaver d'AbsInt combine l'analyse statique des chemins et des relevés de trace pour fournir des estimations du temps d'exécution les plus défavorables. Cet outil est 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