Possibility for creating and using own coding rules in Polyspace ?

Hello Mathworks,

I am working with Polyspace and I use the code prover for checking rule violations. I know that the code prover is based on the Misra rules. But I wonder if there is a possible way to create an own "rule book" and use it for checking the given code ? If not, how far can I customize the existing rules ?

Kind regards

[Anirban]

Hi Burkay,

Can you give a couple of examples of the kinds of rules you want to check for?

Depending on your needs, there might be different options for configuring Polyspace to check for the rules.