Contenu principal

La traduction de cette page n'est pas à jour. Cliquez ici pour voir la dernière version en anglais.

Ajouter des informations de revue aux résultats dans l’interface utilisateur de la plateforme Polyspace

Traiter les résultats Bug Finder par des corrections de bugs ou des justifications

Une fois que vous avez identifié la cause première d’un résultat Polyspace®, vous pouvez corriger votre code. Sinon, ajoutez des informations de revue à votre résultat Polyspace afin de le repérer, en vue de sa correction ultérieure ou de justifier le résultat. Vous pouvez utiliser les informations de revue afin de faire le point sur l’avancée de votre revue et éviter d’examiner le même résultat deux fois.

Si vous ajoutez des informations de revue à votre fichier de résultats, elles se répercutent sur les résultats de l'analyse suivante du même projet. Si vous ajoutez les mêmes informations en tant que commentaires associés à votre code (annotation), elles se répercutent sur n’importe quelle analyse ultérieure du code, qu’elle soit réalisée dans le cadre du même projet ou d’un autre. Vous pouvez également masquer des résultats au moyen d’annotations du code.

Rubriques