Field-sensitive value analysis of embedded C programs with union types and pointer arithmetics (2006)

by A Miné
Venue:In Proc. of the ACM SIGPLAN/SIGBED Conf. on Languages, Compilers, and Tools for Embedded Systems (LCTES’06