...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| CERT.MSC.4 | Partially checked | ||||||
| GCC |
| Can detect violations of this rule when the | |||||||
| CC2.MSC04 | Fully implemented | |||||||
| LDRA tool suite |
| 119 S, 302 S, 611 S | Partially implemented | ||||||
| Parasoft C/C++test | 9.5 | MISRA2012-RULE-3_1{a,b,c}, COMMENT-13 | Fully implemented | ||||||
| PRQA QA-C |
| 3108 | |||||||
| RuleChecker |
| CERT.MSC.4 | Partially checked |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...