Le débogueur de mémoire ultime pour C et C ++

Lors du débogage à l'exécution, Parasoft Insure ++ vérifie toutes vos références mémoire, y compris celles vers la mémoire statique (globale), la pile et la mémoire partagée, à la fois dans votre propre code et dans des bibliothèques tierces.

• Mémoire de pile et de tas corrompue
• Utilisation de variables et d'objets non initialisés
• Erreurs de limites de tableau et de chaîne sur le tas et la pile
• Utilisation de pointeurs pendants, NULL et non initialisés
• Tous les types d'allocation de mémoire et d'erreurs ou de discordances gratuites
• Tous les types de fuites de mémoire
• Incompatibilités de type dans les déclarations globales, les pointeurs et les appels de fonction

Au moment de la compilation, Parasoft Insure ++ détecte les erreurs en identifiant les écarts par rapport aux normes C / C ++ qui peuvent entraîner des fuites de mémoire ou des instabilités d'application.

• La fonte du pointeur perd de la précision
• Non-concordance dans la spécification de format
• Non-concordance dans le type d'argument
• Le code n'est pas évalué, n'a aucun effet ou est inaccessible
• Identifiant indéfini
• Variable déclarée, mais jamais utilisée
• Retour du pointeur vers la variable locale
• La fonction renvoie une valeur incohérente
• Variables inutilisées

L'analyse de couverture de Parasoft Insure ++ permet d'identifier visuellement les sections de code qui ont été exécutées et celles qui ne l'ont pas été. Cette capacité permet aux utilisateurs de se concentrer sur le test des cas d'utilisation pour les domaines de code qui n'ont pas encore été exercés. Insure ++ peut également ajouter un «nombre de succès» aux blocs de base, indiquant le nombre de fois que chaque bloc a été exécuté pour détecter des goulots d'étranglement de performance surprenants.

Les développeurs de logiciels obtiennent une vue graphique des données en temps réel sur l'utilisation continue de la mémoire et les allocations de mémoire au fil du temps avec une visibilité spécifique sur l'utilisation globale du tas, les allocations de blocs, les éventuelles fuites en suspens, etc. Si un bloc a été divulgué, vous pouvez voir la trace de la pile d'allocation, ainsi que la trace de la pile où la fuite s'est produite. La taille globale du tas est surveillée et diverses statistiques sont suivies comme le nombre d'appels d'allocation et de désallocation.

Parasoft Insure ++ signale tout problème détecté. Les informations détaillées que vous obtenez incluent le type de bogue, le fichier source et le numéro de ligne, le contenu réel de la ligne de code source, l'expression à l'origine du problème et des informations sur tous les pointeurs et blocs de mémoire impliqués dans le bogue. Les développeurs de logiciels peuvent également voir les valeurs de pointeur, les blocs de mémoire pointés, les informations d'allocation de bloc et la trace de pile montrant comment le programme est arrivé à l'emplacement du bogue.

La plupart des projets sont volumineux et contiennent plusieurs fichiers. Néanmoins, il y a des moments où vous n'aurez besoin d'enquêter que sur une poignée de ces fichiers pour des violations présumées du runtime. Ceci est fait lorsque Parasoft Insure ++ instrumente les fichiers individuels que vous décidez d'étudier. Les fichiers individuels peuvent alors être liés à un exécutable non instrumenté. Cela détecte les erreurs dans les fichiers en question au niveau de la source avec un minimum d'effort.