...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| NO_EFFECT | Finds statements or expressions that do not accomplish anything or statements that perform an unintended action. | |||||||
| noeffect | Partially implemented. | |||||||
GCC | 3.0 | Options detect unused local variables or nonconstant static variables and unused function parameters, respectively. | |||||||
| EFFECT |
| |||||||
| 65 D | Fully implemented. | |||||||
Splint |
|
|
| ||||||
| PRQA QA-C |
| 3110 3112
| Partially implemented |
...