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