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!