...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| LANG.STRUCT.EBS LANG.STRUCT.RC LANG.STRUCT.UC Empty {Branch, for, if, switch, while} Statement Redundant Condition | Unreachable {Call, Computation, Conditional, Control Flow, Data Flow} | ||||||
| DEADCODE
| Can detect the specific instance where code can never be reached because of a logical contradiction or a dead "default" in Can detect the instances where code block is unreachable because of the syntactic structure of the code | |||||||
|
| Can detect violations of this recommendation when the | |||||||
| LV_UNUSED.GEN VA_UNUSED.* UNREACH.* |
| |||||||
| 1 J | Fully implemented | |||||||
| PRQA QA-C |
| 0689 | Fully implemented | ||||||
|
| Can detect violations of this recommendation when the |
...