...
Automated Detection
Compass/ROSE can detect the NCCE's easily. It need merely search for detects violations of this rule. Specifically, it reports as violations the following pattern:
- 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.
...
- .
Risk Assessment
Making invalid assumptions about the type of type-cast data, especially bit-fields, can result in unexpected data values.
...