...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Compass/ROSE | Can detect violations of this recommendation. However, it can detect only those violations where both bitwise and arithmetic operators are used in the same expression | ||||||||
| LDRA tool suite |
| 585 S | Fully implemented | ||||||
| Polyspace Bug FinderR2016b |
| Bitwise and arithmetic operation on the same data | Statement with mixed bitwise and arithmetic operations |
...