...
Automated Detection
Compass/ROSE detects can detect violations of this rule. Specifically, it reports as violations the following patternif:
- A pointer to one object is typecast to the pointer of a different object
- The pointed-to object of the (typecast) pointer is then modified arithmetically.
...