Le logiciel StackAnalyzer de ABSINT est capable, par une simple analyse statique du code binaire exécutable de votre application, de calculer avec certitude la taille maximale de la pile qui peut être atteinte par celle-ci. Les résultats sont visualisables avec une grande facilité, grâce à l'ergonomie de l'interface graphique de StackAnalyzer

Fonctionnalités

• Mesure précise et détaillée de l'usage de la pile par les tâches de votre application, au niveau utilisateur ou système
• La granularité des mesures couvre tous les niveaux hiérarchiques: routines, blocs, instructions assembleur...
• Le Flot de contrôle du code dérive directement du code binaire, et n'est donc pas dépendant du débogueur et de ses éventuelles limitations
• Analyse globale ou partielle, à partir de n'importe quel point d'entrée
• Codage de couleur des rapports pour une identification facile des zones critiques
• IHM graphique et textuelle puissante et conviviale, pour visualiser le flot de contrôle, les résultats, le code source, le code assembleur, et les fichiers de configuration
• Intégration transparente avec les autres outils de la gamme ABSINT, via le portail centralisé a3

Applications de StackAnalyzer
La mémoire de pile doit être allouée statiquement par le développeur. En sous-estimer la taille peut conduire à des dysfonctionnements graves de votre application au détriment de sa sûreté de fonctionnement. En surestimer la taille conduit à gaspiller des ressources précieuses

• StackAnalyzer est un outil automatisé, exhaustif et déterministe
• StackAnalyzer analyse directement le code binaire exécutable, dans lmes conditins exactes de fonctionnement de votre application
• StackAnalyzer non seulement amélriore votre productivité, mais vous prémunit contre les erreurs de dépassement de pile
• Grâce à StackAnalyzer, vous avez un moyen unique d'optimiser l'usage de la pile par votre application

Cibles

StackAnalyzer est compatible avec un nombre croissant de cibles, nous sommes à votre disposition pour vous rensigner sur ce sujet.

Support à la qualification

En complément de l'outil lui-même, ABSINT propose un support pour la qualification de votre chaîne de développement et de validation:

• Qualification Support Kit (QSK) pour simplifier le processus de certification aéronautique (DO178B Level A) ou automobile (ISO 26262)
• Qualification Software Life Cycle Data (QSLCD) décrivant la méthodologie et le plan qualité mis en oeuvre pour le développement et la validation de StackAnalyzer

De nombreux clients ont utilisés avec succès le produit aiT et les kits QSK et QSLCD pour obtenir leur certification.