Hi Ahmed,
To check for MISRA/Mandatory violations and obtain a boolean result, you have these options:
- You can leverage Polyspace Access for checking MISRA violations by reviewing the analysis results through its web interface or integrated tools. For more information, refer to the following link: https://mathworks.com/help/releases/R2024b/polyspace_access/index.html
- Use the command "-misra-c-2023" in the Polyspace command-line interface to check for violations of MISRA C:2023 rules. For details, refer to: https://mathworks.com/help/releases/R2024b/bugfinder/ref/checkmisrac2023misrac2023.html#mw_7fb57cc8-9576-4d78-9111-4ca4efe73bbd
- If the above options don't work for you, consider creating a custom script to parse the output files of the analysis to search for specific keywords indicating violations.
For more information on checking for violations of MISRA C:2023 rules and directives, refer to the following documentation link:
Hope this helps.
