How do I add custom rules for data types separately?

Hello Team,

Instead of using typedef for declaring int /float/pointer , how Can I add custom rules for Int /float/pointer separately in the custom rules section . Also for Char datatype where Can I add custom rules?

[Jan]

At least I do not know, what you are talking about. Maybe it helps if you mention the topic or explain, what you try to do where with which tools.

[the cyclist]

@Mounika, I just want to mention that there are very few questions about Polyspace in this forum, so this question might not get as many responses as questions about base MATLAB or more common toolboxes do.

You can always contact MathWorks support if you need to.

Answer 1

[Anirban]

Custom rules in the Type definitions category only apply to typedef-s. All typedef-s of integer types are flagged by a different rule from typedef-s of floating point types (rule 3.1 vs rule 3.2). In this sense, the custom rules are already separated. Can you give an example of what you would like to see?

If you want to simply flag basic types such as char, int, etc., there is a MISRA C:2012 directive for that, and a Polyspace Bug Finder checker to detect violations of this directive. Maybe this is what you want?