...
GCC Compiler can detect some violations of this rule when the -Wcast-align flag is used.
Compass/ROSE could can detect violations of this rule by checking for pointer casts where the new object size is smaller than the old object size.
...
. However, it does not flag explicit casts to void * and then back to another pointer type.
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...