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

17 May 2022
1 Answer
Answer Accepted
Updated 24 May 2022
2 Views (30 days)

0 votes

Polyspace R2021a 버전을 사용하고 있는데, CERT-C 전체가 커버되는지 문의 드립니다.
전체가 커버되지 않는다면 어떤항목의 CERT-C가 지원되는지 구체적으로 알고 싶습니다.
감사합니다.

Sign in to answer this question.

 Accepted Answer

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

More Answers (0)

Categories

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

Products

Release

R2021a

Tags

Community Treasure Hunt

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

Start Hunting!