Polyspace R2021a 버전의 CERT-C의 어떤 항목이 지원되는지 문의 드립니다.

Polyspace R2021a 버전을 사용하고 있는데, CERT-C 전체가 커버되는지 문의 드립니다.

전체가 커버되지 않는다면 어떤항목의 CERT-C가 지원되는지 구체적으로 알고 싶습니다.

감사합니다.

Answer 1

[Christian Bard]

In each shipped product, at location <polyspaceroot>\polyspace\resources, Excel file Polyspace <Release> Results Lists.xlsx provides the exact list of all checkers including all CERT-C rules supported.