What rules are covered in PolyRed, PolyGrey & Polyorange each of the following? example SEI CERT, MISRA 2008 etc

Actually I am using an another tool for code analysis so there are different set of rules covered in the application. So in order to move to Polyspace tool for validation I wanted to confirm what checks are included in each

example

PolyRed - It is used to identify runtime errors like division by ZERO etc. In polyspace it is shown as RED but which rule is used to verfiy the same like MISRA 2008,12, or CERT, or C++14 standard something.

Similarly for

PolyGrey - it is used for identifying the dead code

one of the techniques is using GDB with -wall option also SEI CERT gives detail information about the dead code.

So is there any document or any reference which can tell what all rules are applied in each of the checks.

Answer 1

[Angelo Yeo]

A runtime error does not belong to certain coding standards. I don't know what your purpose is, but to check your code against coding standards, you can use Polyspace Bug Finder and check which standard to use in the configuration.

Here is the official documentation from Polyspace Bug Finder: Coding Standards.