Why Polyspace Code prover do not permit to check some MISRA rule ?
12 Ansichten (letzte 30 Tage)
Ältere Kommentare anzeigen
Nideesh Madhu
am 12 Jan. 2022
Beantwortet: Anirban
am 12 Jan. 2022
We usually do static analysis with polyspace code prover. We enabled MISRA check also but then found some of the rule
are only available in Bugfinder. Do we need to run both? The rules ignored by code prover comes in 'Advisory' category of Misra 2012?
0 Kommentare
Akzeptierte Antwort
Anirban
am 12 Jan. 2022
Polyspace Bug Finder is the recommended tool for checking MISRA C:2012. All MISRA C:2012 rules can be checked by Polyspace Bug Finder.
In fact, support for coding rules checking in Polyspace Code Prover will be removed in a future release. See Polyspace Code Prover release notes.
0 Kommentare
Weitere Antworten (0)
Siehe auch
Kategorien
Mehr zu Run Settings finden Sie in Help Center und File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!