Required and Statically Enforceable CERT C Rules Supported by Polyspace Bug Finder

The CERT C standard classify the guidelines that compliant C code must follow as Rules. These Rules are also considered enforceable by static analysis. Polyspace® supports 120 out of 120 such guidelines.

To find a list of the CERT C rules:

  1. Locate the file polyspaceroot\polyspace\resources\Polyspace R2025b Results List.xlsx. Here, polyspaceroot is the Polyspace installation folder. The default installation folder is C:\Program Files\Polyspace\R2025b.

  2. Switch to the tab CERT-C.

  3. Filter the column Type to show only Rule.

See Also

Topics