...
Tool | Version | Checker | Description | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | |||||||||||||
| CodeSonar |
| LANG.STRUCT.UUVAL | Unused value | ||||||||||||
| UNUSED_VALUE | Finds variables that are assigned pointer values returned from a function call but never used | |||||||||||||
| Helix QAC |
| C1500, C1502, C2980C3203, C2981C3205, C2982C3206, C2983C3207, C2984C3229 DF2980, C2985DF2981, C2986DF2982, C3203DF2983, C3205DF2984, C3206DF2985, C3207, C3229DF2986 | |||||||||||||
| Klocwork |
| LV_UNUSED.GEN | |||||||||||||
| LDRA tool suite |
| 1 D, 8 D, 105 D, 94 D, 15 D | Fully implemented | ||||||||||||
| Parasoft C/C++test |
| CERT_C-MSC13-a | Avoid unnecessary local variables | ||||||||||||
| PC-lint Plus |
| 438, 505, 529, 715, 838 | Partially supported | ||||||||||||
| Polyspace Bug Finder |
| Checks for:
Rec. partially covered. | PRQA QA-C | | Include Page | | PRQA QA-C_v | PRQA QA-C_v | 2980, 2981, 2982, 2983, 2984, 2985, 2986, 3203, 3205, 3206, 3207, 3229, 1500, 1502Fully implemented | |||||||
| PVS-Studio |
| V519, V596, V603, V714, V744, V751, V763, V1001, V5003 | |||||||||||||
| SonarQube C/C++ Plugin |
| S1854 |
...