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.

L’outil ValueAnalyzer vérifie les accès illégaux dans un système embarqué depuis des modules tierce-parties, comme les accès en lecture ou écriture à des variables ou des appels de fonctions.

Il effectue une analyse à l’initiatlisation du code, détecte le code mort ainsi que les accés à la mémoire, aux variables et fonctions.

L’analyse est automatique sans aucune donnée d’entrée à fournir. Elle se fait de manière statique, sans exécution du code. Il faut juste saisir les règles et assertions.

Il s’intègre comme un plug-in de StackAnalyzer, aiT WCET Analyzer, TimingProfiler, ou TimeWeaver et partage une seule et même interface utilisateur. Les données sont échangées entre ces outils en toute transparence pour une meilleure performance.
Contactez nous pour une démonstration en ligne ou pour accéder à la version d’évaluation gratuite, avec support technique et formation en ligne.