Ajout d’informations de revue aux résultats

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 à vos résultats dans l’interface web Polyspace Access™, elles se répercutent sur les résultats chargés dans le 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.