...
GCC Compiler can detect some violations of this rule when the -Wcast-align flag is used.
The EDG Front End to Compass/ROSE can detect some violations of this rule.
Compass/ROSE can detect violations of this rule. However, it does not flag explicit casts to void * and then back to another pointer type.
...