...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| CERT.DCL.36static-declaration | Partially checked | ||||||
| Coverity |
| PW.LINKAGE_CONFLICT | Implemented | ||||||
| CC2.DCL36 | Fully implemented | |||||||
| GCC |
|
|
| ||||||
| Klocwork |
|
| |||||||
| LDRA tool suite |
| 461 S, 575 S, 2 X | Fully implemented | ||||||
| Splint |
|
|
| ||||||
| Parasoft C/C++test | 9.5 | MISRA-024 | Fully implemented | ||||||
| Polyspace Bug Finder | R2016a | MISRA2012-RULE-8_2, MISRA2012-RULE-8_4, MISRA2012-RULE-8_8, MISRA2012-RULE-17_3 | Full | ||||||
| PRQA QA-C |
| 0625 (U) | Fully implemented | ||||||
| RuleChecker |
| CERT.DCL.36static-declaration | Partially checked |
Related Vulnerabilities
...