Polyspace bug finder 지원 MISRA-C:2023에 대한 문의

안녕하세요 polyspace bug finder를 사용하고 있습니다.

polyspace를 통해 MISRA-C:2023 룰셋을 정적검증하기 위해 지원 룰 리스트를 검토하고 있습니다.

https://kr.mathworks.com/help/bugfinder/ug/polyspace_coverage_coding_standard.html#mw_322fa2a9-7301-49b1-af05-664290c7edbf

위 페이지에서는 polyspace bug finder가 MISRA-C:2023 모든 룰셋을 지원하고 있다고 설명하고 있지만

https://kr.mathworks.com/help/bugfinder/ug/statically-enforceable-misra-c-2012.html

https://kr.mathworks.com/help/bugfinder/ug/supported-required-misra-c2008-coding-rules.html

이 페이지들에서는 일부 룰의 경우 지원하지 않고 있다고 나와있습니다.

왜 설명이 차이가 나는 것인가요?

Answer 1

[Kilsu Kim]

안녕하세요,

문서 일부가 업데이트되지 않을 것 같습니다. 혼동을 드린 점 사과드립니다. Polyspace Bug Finder R2025b부터 MISRA C:2023을 100% 지원합니다. 아래의 두 문서를 참고하여 주십시오.

Polyspace Support for Coding Standards/MISRA C:2023

MISRA C:2023 Support: Check for violations of all rules and directives including seven new concurrency-related rules

감사합니다.

[Jio]

답변 감사합니다 :)