Comment ça marche?
Parasoft Insure ++ est un outil d'analyse de la mémoire d'exécution et de détection d'erreurs pour C et C ++ qui identifie automatiquement une variété d'erreurs de programmation, d'accès à la mémoire et de sécurité difficiles à trouver, ainsi que des défauts et des inefficacités potentiels dans l'utilisation de la mémoire.
Pendant les tests, Insure ++ vérifie tous les types de références mémoire, y compris celles vers la mémoire statique (globale), la pile et la mémoire partagée dans le code de l'utilisateur ou dans vos bibliothèques tierces.
Les capacités d'analyse de la mémoire Insure ++ de Parasoft sont basées sur des algorithmes d'instrumentation source brevetés. L'instrumentation du code source permet à Insure ++ de détecter plus de types d'erreurs que les autres technologies de détection d'erreurs de mémoire, et fournit des informations complètes indiquant les causes profondes des erreurs trouvées, en utilisant une base de données complète des éléments de programme et des structures de mémoire. Il existe deux façons d'utiliser Insure ++ pour l'analyse de la mémoire et la détection d'erreurs.
Mode d'instrumentation source
La première analyse, et la plus détaillée, est réalisée avec une instrumentation complète du code source. Cela nécessite que les sources d'application soient compilées et liées avec Insure ++, qui génère ses propres fichiers instrumentés qui sont transmis au compilateur réel.
Mode lien
Sans instrumentation du code source, en liant votre code objet d'application et vos bibliothèques avec Insure ++, l'outil peut «espionner» l'interface noyau / programme d'application pour détecter des erreurs telles que des fuites, de mauvaises références mémoire, des erreurs d'utilisation standard de l'API, etc.