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

1 vue (au cours des 30 derniers jours)
Jong-Won Lee
Jong-Won Lee le 17 Mai 2022
Réponse apportée : Christian Bard le 24 Mai 2022
Polyspace R2021a 버전을 사용하고 있는데, CERT-C 전체가 커버되는지 문의 드립니다.
전체가 커버되지 않는다면 어떤항목의 CERT-C가 지원되는지 구체적으로 알고 싶습니다.
감사합니다.

Connectez-vous pour répondre à cette question.

Réponse acceptée

Christian Bard
Christian Bard le 24 Mai 2022
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.

Plus de réponses (0)

Catégories

En savoir plus sur Run Settings dans Help Center et File Exchange

Tags

Produits


Version

R2021a

Community Treasure Hunt

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

Start Hunting!