...
Tool | Version | Checker | Description | |||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Coverity | 6.5 |
| PW.LINKAGE_CONFLICT | Fully implementedImplemented | ||||||
| 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 |
...