Can I check the bug finder results for violation existence in an automated way?

Hi all,

I currently have polyspace bug finder server running as a part of my gitlab ci/cd pipeline. I need to add a step which checks the results of the analysis and gives me a boolean result based on whether there is a Misra/Mandatory violation or not.

Is there any api provided to get such result or do I have to write a script that generates a report and parses it to check for violations.

I don't care about the nature of the violations or there number I just want to know if there is any.

Thank you all.

Answer 1

[Shubham]

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:

https://mathworks.com/help/releases/R2024b/bugfinder/ref/checkmisrac2023misrac2023.html

Hope this helps.

[Ahmed]

Hi Shubham,

Thank you for your response. However, what I was really asking is whether it's possible for Polyspace Access or Bug Finder to give me a direct "yes" or "no" answer without the need for me to manually review the results. I already configured the Bug Finder to look for these violations.

I want to trigger an action in my CI/CD pipeline based on the answer to this question.

What I had in mind is exporting the results in a text or CSV format, then creating a script to parse this file and tell me if any new violations were found. I don't care about the number or the nature of the violations, just whether they exist.

Sorry for the long response and the vague questibon!