Arnaud Venet Automatic Analysis of Pointer Aliasing for Untyped Programs. 223-248 1999 35 Sci. Comput. Program. 2 db/journals/scp/scp35.html#Venet99