Add Polyspace Suppression for MISRA Directive

According to https://de.mathworks.com/help/bugfinder/ug/annotate-hide-known-acceptable-polyspace-results-web-browser.html#responsive_offcanvas, the code annotation syntax for suppressions is:

/* polyspace Family:Result_name */

For example polyspace MISRA-C:14.9. This number (14.9) is the rule number, but MISRA also has directives.

How can I suppress directives?

The doc in the link above only says:

For coding standard violations, specify the rule number or numbers.

There is for instance directive 1.1, but also rule 1.1.

Answer 1

[Christian Bard]

In the Polyspace UI, when you select a violation, you can right-click and choose "Add Pre-justification to clipboard." For more details, refer to the documentation below. By doing this, you'll notice that directive violations are prefixed with an uppercase 'D'.

https://www.mathworks.com/help/bugfinder/ug/fix-or-comment-polyspace-result.html#mw_a5864767-3847-4d97-aa9c-0bde78e66993

[Ismet]

Thank you very much, the "D" helped.