Examiner les résultats Polyspace Bug Finder dans l’interface utilisateur de la plateforme Polyspace

Polyspace^® Bug Finder™ vérifie le code C/C++ afin de détecter les défauts, les infractions aux règles de codage et les vulnérabilités de sécurité. Après avoir exécuté une analyse, vous pouvez ouvrir et examiner les résultats dans l’interface utilisateur de la plateforme Polyspace.

Cette section montre comment examiner certains résultats Bug Finder dans l’interface utilisateur de la plateforme Polyspace. Polyspace propose des manières complémentaires d’examiner les résultats.

• Si vous exécutez une analyse de fichier unique dans votre IDE avec Polyspace as You Code, vous pouvez examiner les résultats directement dans votre IDE. Consultez Examiner les résultats Polyspace as You Code dans des IDE.

• Si vous exécutez une analyse avec un produit Polyspace Server et que vous chargez les résultats dans Polyspace Access™, vous pouvez examiner les résultats dans un navigateur web. Consultez Examiner les résultats Polyspace Bug Finder dans un navigateur web.

Exemple de fichiers

Pour suivre les étapes de ce tutoriel, exécutez Polyspace en appliquant la procédure de Exécuter Polyspace Bug Finder sur un desktop.

Sinon, dans l’interface utilisateur de la plateforme Polyspace, ouvrez l’exemple de projet en sélectionnant Help > Examples > Find defects in your C code. Exécutez une analyse en cliquant sur le bouton Find Issues dans la barre d’outils. L'actionnement du bouton Find Issues fait apparaître un menu déroulant qui comporte le bouton Prove Absence of RTEs.

Interpréter les résultats

Examinez chaque résultat Polyspace Bug Finder. Identifiez la cause première du problème.

Commencez par ouvrir vos résultats dans la vue Review. Double-cliquez sur votre fichier de résultat dans le volet Results afin d’ouvrir le tableau de bord Project Overview. Dans la barre d’outils, sélectionnez Review afin d’ouvrir la vue Review qui regroupe tous les résultats et détails.

Commencez par la liste de résultats du volet Results List. Si le volet Results List occupe l’ensemble de la fenêtre, sélectionnez Layout > Reset dans la barre d’outils.

Cliquez sur l’en-tête de colonne Check pour trier les résultats dans l’ordre alphabétique. Sélectionnez le résultat Non-initialized variable présentant l’ID 8381.

Vous avez accès aux informations du code dans le volet Source Code et à des informations complémentaires à propos du résultat dans le volet Result Details.

Dans le volet Result Details, la séquence d’événements conduisant au résultat est mise en surbrillance. Par exemple, dans le cas du résultat Non initialized variable, vous voyez les événements suivants :

• La variable value est déclarée.

• L’instruction if d’initialisation de value est ignorée.

• La variable value est lue.

Parfois, ces événements sont très éloignés les uns des autres dans le code source. Cliquez sur un événement dans le volet Result Details afin d’accéder à l’emplacement correspondant dans le code source. Le code associé est mis en surbrillance dans le volet Source Code.

Informations complémentaires

Pour plus d’informations sur l’interprétation des résultats, consultez :

• Interpret Polyspace Bug Finder Results in Polyspace Platform User Interface

• Liste complète des résultats Polyspace Bug Finder

Traiter les résultats par une correction de bugs ou des commentaires

Une fois que vous avez identifié la cause première d’un résultat Polyspace, vous pouvez corriger votre code. Sinon, vous pouvez ajouter des commentaires à vos résultats pour corriger le code ultérieurement ou justifier le résultat. Vous pouvez utiliser les commentaires afin de faire le point sur l’avancée de votre revue.

Si vous ne souhaitez pas corriger le défaut immédiatement, attribuez un statut particulier au résultat dans le volet Result Details. Par exemple, attribuez au résultat Non-initialized variable le statut To investigate. Vous avez également la possibilité d'ajouter des commentaires fournissant une explication supplémentaire.

Si vous attribuez le statut No action planned, le résultat n’apparaît pas dans les exécutions suivantes du même projet.

Informations complémentaires

Pour plus d’informations sur le traitement des résultats par une correction de bugs ou des commentaires, consultez :

• Address Results in Polyspace Platform User Interface Through Bug Fixes or Justifications

• Annotate Code and Hide Known or Acceptable Results

Gérer les résultats

Lorsque vous ouvrez les résultats d’une analyse Bug Finder, vous voyez apparaître la liste des défauts, des infractions aux règles de codage et d’autres résultats. Pour organiser votre revue, vous pouvez affiner la liste ou regrouper les résultats par fichier ou par type de résultat.

Par exemple, vous pouvez :

• Examiner uniquement les défauts à fort impact.

  Dans la barre d’outils, sélectionnez Defects > High afin de n’afficher que les défauts ayant un fort impact.

  

• Examiner uniquement les résultats obtenus depuis la dernière analyse.

  Dans la section Filters de la barre d’outils, cliquez sur la flèche vers le bas et sélectionnez New dans la section Resolution.

• Examiner les résultats de certains fichiers ou fonctions.

  Dans le volet Results List, faites un clic droit sur un résultat de la colonne File et sélectionnez Show only: "filename.c" pour n’afficher que les résultats de ce fichier. Vous pouvez utiliser cette méthode pour n’importe quelle colonne du volet Results List. En outre, sélectionnez l’en-tête d’une colonne pour trier le volet Results List sur la base des informations qu’elle contient.

Informations complémentaires

Pour plus d’informations sur la gestion des résultats, consultez : Filter and Sort Results in Polyspace Platform User Interface.