Is there a workaround in the Polyspace tool to avoid justified checks from showing up again?

Hi,

In Polyspace, after the verification run, we go and justify some checks, especially the orange ones, according to our understanding if they aren't real checks.

So, is there a way to not see them again in the next run?

Thanks.

Answer 1

[Alexandre De Barros]

Hi,

Since you have justified the checks, I suggest you to activate filters to hide them. If you have used the Classification "Not a defect" for instance, in the Results Summary view you could activate the filter on the column Classification and choose to hide all the checks classified "Not a defect".

More information on the filters here:

http://www.mathworks.com/help/codeprover/ug/filter-checks.html

For the next verifications of the same project, the justifications and comments will be automatically imported in the new results folder (or in the same folder if you choosed to use it again).

You can also annotate the code so the checks are automatically justified and commented :

http://www.mathworks.com/help/codeprover/ug/assign-review-comments-to-code.html

Regards,

Alex

[Maja Petkovic]

Hi,

What about the red checks which are caused by an orange check?

As far as I know when a red check is found the verification is abborted in that function call, which means they may be other red warnings masked by that one. How can those orange/red checks be skipped as reasonably FALSE during next verification?

Please correct me if I got something wrong here.

Thank you & Regards

Maja