ABSINT
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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é.
-
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.
-
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.
-
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.
