Analyse de l’usage de la pile en C/C++
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 – 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 – 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.
