%0 Generic %A Venet, Arnaud, %T A Scalable Nonuniform Pointer Analysis for Embedded Program. %U http://hdl.handle.net/2060/20040120941