Analyseur de piles
Outil d'analyse statique du code binaire :
Détection des erreurs dues à "Stack Overflow".
Neuf raisons de choisir StackAnalyzer
Stack Analyzer, basé sur des méthodes formelles, permet de tester l'absence d'erreurs d'exécution par débordement de pile.
Aujourd'hui, c'est peut-être le seul outil qui offre cette garantie.
1.
Effectue une analyse statique du code binaire (exécutable).
2.
Il prend en charge plusieurs compilateurs croisés de différents fournisseurs et langages de programmation (C, C++, Ada).
3.
Il fournit des informations détaillées sur l'utilisation de la pile par l'utilisateur et le système au niveau des tâches.
4.
Permet de sélectionner le point d'entrée de l'analyse.
5.
Effectue une reconstruction du flux de contrôle directement à partir du code binaire.
6.
Fournit des informations au niveau de l'assemblage et du code source.
7.
Le module optionnel Value Analyzer permet d'analyser le flux de contrôle et le contrôle des données (analyse des registres et des zones de mémoire, contrôle de l'accès aux variables et aux fonctions).
8.
Il est intégré à Jenkins, Eclipse et TargetLink (dSpace).
9.
Il dispose d'un ensemble de certifications pour DO-178, ISO 26262, EN-50128 et FDA.
