How do you add multiple justifications to a single line of C++ code in polyspace?

Hello,

I get multiple polyspace findings on a single line of C++ code (MISRA 16-0-2, MISRA 16-2-1, etc).

For this instance I would like to justify the single line of code; however, I would like to do so using the comment annotation in the code.

I copy from the clipboard to justify a single error... how do I justify more than one?

Thanks!

Answer 1

[Shubham]

Hi Aaron,

I understand you want to add mutiple annotations to the single line of code in Polyspace.

It depends on what annotations you want to add to your line of code.

If you want to specify multiple families in the same annotation

line of code; /* polyspace MISRA2012:17.* RTE:* */

This annotation applies to all MISRA C:2012 rules 17 and to all run-time checks.

You can refer to this documentation to know more about annotations.

https://www.mathworks.com/help/bugfinder/ug/annotate-hide-known-acceptable-polyspace-results-web-browser.html#mw_b5c274bc-148d-48bb-a95c-3c55cfdcfba0