changes.mady.by.user Shannon Haas
Saved on Jul 15, 2011
changes.mady.by.user Astha Singhal
Saved on Feb 21, 2012
...
Tool
Version
Checker
Description
LDRA tool suite
94 S 540 S
Fully Implemented
GCC
can detect some violations of this rule when the -Wcast-align flag is used.
-Wcast-align
EDG Front End to Compass/ROSE
Compass/ROSE
can detect violations of this rule. However, it does not flag explicit casts to void * and then back to another pointer type.
void *