...
Tool | Version | Checker | Description | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
| Can detect violations of this recommendation. In particular, it catches comparisons and operations where one operand is of type | |||||||||||||
5.0 |
| Will detect integer operations that cause overflow but not all cases where | |||||||||||||
| Include Page | LDRA_V | LDRA_V | 93 S | Partially implemented |
|
|
|
...