Polyspace R2021a 버전의 CERT-C의 어떤 항목이 지원되는지 문의 드립니다.
2 vues (au cours des 30 derniers jours)
Afficher commentaires plus anciens
Jong-Won Lee
le 17 Mai 2022
Réponse apportée : Christian Bard
le 24 Mai 2022
Polyspace R2021a 버전을 사용하고 있는데, CERT-C 전체가 커버되는지 문의 드립니다.
전체가 커버되지 않는다면 어떤항목의 CERT-C가 지원되는지 구체적으로 알고 싶습니다.
감사합니다.
0 commentaires
Réponse acceptée
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.
0 commentaires
Plus de réponses (0)
Voir également
Catégories
En savoir plus sur Command-Line Only Options dans Help Center et File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!