Polyspace already supports most of checkable MISRA AC AGC rules in R2011b. If you want to check C code for MISRA AC AGC compliance, you can use the template file 'MISRA_AC_AGC_2007_primary_Polyspace_set.txt':
1. Download and save the file 'MISRA_AC_AGC_2007_primary_Polyspace_set.txt' that you can find at the bottom of this Solution.
2. Open Polyspace Verifier Environment (PVE) with the project you want to apply the MISRA AC AGC rules.
3. Then Expand the "Compliance with Standard" category in the configuration window and enable "Check MISRA C rules".
4. Expand again "Check MISRA C rules" and choose “custom” from the drop-down list in the "MISRA C rules configuration" category.
5. Then click on the button near "-misra2" option and add the text file using the “Load an existing MISRA C rule configuration file” browse button.
6. Close the MISRA settings window using the 'OK' button and run the verification.
Note that depending on the distinct primary categories the rules are set in the following way:
1. OBL – warning (OBLigatory)
2. REC – warning (RECommended)
3. READ – off (READability)
4. NA – off (Not Applicable)
Best Answer