Polyspace R2021a 버전의 CERT-C의 어떤 항목이 지원되는지 문의 드립니다.
Afficher commentaires plus anciens
Polyspace R2021a 버전을 사용하고 있는데, CERT-C 전체가 커버되는지 문의 드립니다.
전체가 커버되지 않는다면 어떤항목의 CERT-C가 지원되는지 구체적으로 알고 싶습니다.
감사합니다.
Réponse acceptée
Christian Bard
le 24 Mai 2022
1 vote
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 Command-Line Only Options dans Centre d'aide et File Exchange
le 17 Mai 2022
le 24 Mai 2022
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!
