How do I add custom rules for data types separately?
2 views (last 30 days)
Show older comments
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?
the cyclist on 9 Feb 2023
@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.
Anirban on 10 Feb 2023
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?
Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Command-Line Only Options
Find more on Command-Line Only Options in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!Start Hunting!