Antoine Miné Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics. 54-63 2006 conf/lctrts/2006 LCTES http://doi.acm.org/10.1145/1134650.1134659 db/conf/lctrts/lctes2006.html#Mine06