polyspce code prover rules

5 views (last 30 days)

Show older comments

li li on 13 May 2019

0
Link

Direct link to this question

https://au.mathworks.com/matlabcentral/answers/461732-polyspce-code-prover-rules

Answered: Pratik on 3 Sep 2024

Dear Support team,

How to select the dark part as shown in the figure? This is Cherck MISRA C:2012.

图像 1.png

Thank you in advance.

0 Comments
Show -2 older commentsHide -2 older comments

Sign in to comment.

Sign in to answer this question.

Answers (1)

Pratik on 3 Sep 2024

0
Link

Direct link to this answer

https://au.mathworks.com/matlabcentral/answers/461732-polyspce-code-prover-rules#answer_1509884

Hi li,

Polyspace Bug Finder is the recommended tool for checking MISRA C:2012. All MISRA C:2012 rules can be checked by Polyspace Bug Finder.

I hope this helps!

0 Comments
Show -2 older commentsHide -2 older comments

Sign in to comment.

Sign in to answer this question.

Categories

Code Verification Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Coding Standards and Code Metrics

Verification, Validation, and Test Polyspace Bug Finder Configure and Run Analysis Complete List of Polyspace Bug Finder Analysis Engine Options Coding Standards and Code Metrics

Find more on Coding Standards and Code Metrics in Help Center and File Exchange

Tags

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!