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 R2024b Results List.xlsx. Here, polyspaceroot is the Polyspace installation folder. The default installation folder is C:\Program Files\Polyspace\R2024b.

2. Switch to the tab CERT-C.

3. Filter the column Type to show only Rule.