Antoine Miné. Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics. In Mary Jane Irwin, Koen De Bosschere, editors, Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 06), Ottawa, Ontario, Canada, June 14-16, 2006. pages 54-63, ACM, 2006. [doi]
Abstract is missing.