PolyspaceFormats

Code annotations to support migration from Polyspace

Nested Rules

PolyspaceEnableDisable

Enables a suppression until the block is closed / file ends; example: polyspace-(begin|end) <rule> [“<justification>”]

PolyspaceNextNLines

Affects issues in the same or next N lines; example: polyspace [+N] <rule> [“<justification>”]

Options

  • Setting an option for this rule means setting the default for all nested rules.

  • The following places define options that affect this rule: CodeAnnotations, Analysis-GlobalOptions

  • This rule has no individual options.