Polyspace DO Qualification Kit 2014b for MISRA-C 2012

1 view (last 30 days)
Polyspace R2014b supports MISRA-C 2012. The DO Qualification Kit 2014b however contains only tests for MISRA-C 2004. Are there tests for MISCRA-C 2012 available for Polyspace DO Qualification Kit 2014b?

Answers (1)

Alexandre De Barros
Alexandre De Barros on 17 Feb 2015
Hi !
The support of MISRA-C 2012 is scheduled for the next version, R2015a (so available in a few weeks).
Best regards,
Alexandre

Categories

Find more on Tool Qualification and Certification in Help Center and File Exchange

Community Treasure Hunt

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

Start Hunting!