MATLAB Answers

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

3 views (last 30 days)
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?

Accepted Answer

MathWorks Support Team
MathWorks Support Team on 22 Oct 2021
Edited: MathWorks Support Team on 26 Oct 2021
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,
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.

More Answers (0)

Tags

No tags entered yet.

Products


Release

R2019a

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!