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.
StackAnalyzer détermine automatiquement la taille maximale de la pile utilisée par les tâches dans votre appli­cation. Il peut ainsi prouver formellement l’absence de débordement de pile de ces tâches.
StackAnalyzer fonctionne à partir du code binaire exécutable: sans modification ou instrumentation du code, en tenant compte de l’optimisation éventuelle du compilateur, en tenant compte des instructions Inline, de la récursivité, des pointeurs de fonctions.
L’analyse est rapide et exhaustive, fournit une estimation garantie, permet de générer des rapports.
StackAnalyzer vient avec 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.
Copie d'écran de StackAnalyzer
Contactez nous pour une démonstration en ligne ou pour accéder à la version d’évaluation gratuite, avec support technique et formation en ligne.
Recevez le PDF de cette fiche par e-mail
Demandez plus d'informations

Description

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.