...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Coverity | 6.5 | LINKAGE_CONFLICT | Fully implemented | ||||||
| CC2.DCL36 | Fully implemented | |||||||
| GCC |
|
|
| ||||||
| Klocwork |
| IF_DEF_IN_HEADER_DECL IF_MULTI_DECL |
| ||||||
| 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 |
...