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

2022 5 月 17
1 回答
回答採用済み
2022 5 月 24 に更新
5 ビュー (30 日間)

0 投票

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

サインインしてこの質問に回答する。

 採用された回答

Christian Bard
Christian Bard 2022 年 5 月 24 日

1 投票

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 件)

カテゴリ

ヘルプ センター および File Exchange で Command-Line Only Options についてさらに検索

製品

リリース

R2021a

タグ

Community Treasure Hunt

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

Start Hunting!