Jack Howarth - 2009-08-31

A good starting list would be to scan for...

"cast to pointer from integer of different size"
"initialization makes pointer from integer without a cast"
"array subscript is above array bounds" (for FSF gcc compilers)
"dereferencing type-punned pointer will break strict-aliasing rules"
"type-punning may break strict-aliasing rules"