Why isn't a justification appearing in the generated Polyspace report, although I can view it in the Polyspace UI?

To justify a defect found in a Polyspace project, a code annotation is added directly in the code. Although it can be seen this added annotation in the Polyspace UI along with its justification, the generated Polyspace report does not contain the corresponding justification and the defect is marked as "Unreviewed".

Why isn't a justification appearing in the generated Polyspace report, although I can view it in the Polyspace UI?

Answer 1

[MathWorks Support Team]

The code annotation that contains a justification for a defect found in a particular line of code needs to be added in the same line (and not before) the line of code that causes the defect, unless a block of code instead of a single line of code is to be justified, in which case the annotation needs to be added right before ('polyspace-begin') and right after ('polyspace-end') the block of code that is meant to be annotated/justified. For more information, please visit the following documentation page,

https://www.mathworks.com/help/codeprover/ug/annotate-hide-known-acceptable-polyspace-results-web-browser.html

If the annotation of a single line of code is added before the corresponding line of code that causes the defect, then this is not going to be considered as a justification in the generated report.