ANTYCIP une offre Leader d'équipements pour la fabrication et le test de produits microélectroniques et électroniques

           FR  EN  ESP
Produits

Outils pour le développement et la validation de logiciels

X Fermer
Nos experts techniques restent à votre disposition pour répondre à vos questions par téléphone

+33 1 70 26 08 25

Accueil / Outils pour le développement et la validation de logiciels / Validation, vérification et certification de logiciels embarqués critiques / ABSINT - StackAnalyzer

ABSINT - StackAnalyzer

RECHERCHER
Par marques :
Par mots-clés :
  

ABSINT - StackAnalyzer

Descriptif complet :

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.

La technique d'analyse statique basée sur l'Interprétation Abstraite permet à StackAnalyzer de fournir une estimation précise et sûre de la taille de la pile
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
Copie d'écran de StackAnalyzer

Principaux avantages de StackAnalyzer:
  • Analyse automatique, rapide et exhaustive
  • Fournit une surestimation de la consommation de pile, ce qui permet de dimensionner au plus juste ce paramètre sans risque de débordement
  • Interface ergonomique permettant de visualiser jusqu'au niveau le plus détaillé les parties de code les plus consommatrices
  • Génération de rapports imprimables (PDF), interactifs (HTML) ou exploitables par d'autres programmes (XML)
  • Kits de qualification disponibles pour la certification de vos projets suivant les standards de l'industrie: DO178, ISO 26262, etc...

Contactez-nous pour une présentation ou une version d'évaluation!

AUTRES PRODUITS DANS Outils pour le développement et la validation de logiciels

PRODUITS
CONTACT

Renseignement, Devis, Etude de cahier des charges, n'hésitez pas à nous contacter

Mentions légales - Crédit photo - Copyright Antycip 2015 - Administration
  OK