The zip file contains the Bug Finder template to configures the defects that help check for Level 1 CERT C rules. In addition the template also uses the related MISRA 2012 subset to check for Level 1 CERT C rules.
You can use the template along with the MISRA coding rule subset to configure a Bug Finder analysis to check your code for CERT C compliance.
引用
Ram (2024). Compliance to CERT C Level 1 Guidelines with Polysace (https://www.mathworks.com/matlabcentral/fileexchange/57796-compliance-to-cert-c-level-1-guidelines-with-polysace), MATLAB Central File Exchange. 取得済み .
MATLAB リリースの互換性
作成:
R2016a
すべてのリリースと互換性あり
プラットフォームの互換性
Windows macOS Linuxカテゴリ
- Code Verification > Polyspace Bug Finder >
- Verification, Validation, and Test > Polyspace Bug Finder >
Help Center および MATLAB Answers で Polyspace Bug Finder についてさらに検索
タグ
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!