...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
CodeSonar |
| LANG.STRUCT.UUVAL | Unused value | ||||||
| UNUSED_VALUE | Finds variables that are assigned pointer values returned from a function call but never used | |||||||
Klocwork |
|
| Can detect violations of this rule with a number of checkers | ||||||
LDRA tool suite |
| 1 D, 8 D, 105 D, 94 D, 15 D | Fully implemented | ||||||
Parasoft C/C++test | 9.5 | MISRA2008-0_1_3_b | Fully implemented | ||||||
Polyspace Bug Finder | R2016a | Function prototype has parameters not read or written in function body Variable never read after assignment | |||||||
PRQA QA-C |
| 1500, 1502, 3203, 3205, 3206, 3207, 3229, 3196, 2980, 2981, 2982, 2983, 2984, 2985, 2986 | Fully implemented |
...