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

2 views (last 30 days)
Jong-Won Lee
Jong-Won Lee on 17 May 2022
Answered: Christian Bard on 24 May 2022
Polyspace R2021a 버전을 사용하고 있는데, CERT-C 전체가 커버되는지 문의 드립니다.
전체가 커버되지 않는다면 어떤항목의 CERT-C가 지원되는지 구체적으로 알고 싶습니다.
감사합니다.

Sign in to answer this question.

Accepted Answer

Christian Bard
Christian Bard on 24 May 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.

More Answers (0)

Categories

Find more on Command-Line Only Options in Help Center and File Exchange

Tags

Products


Release

R2021a

Community Treasure Hunt

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

Start Hunting!