A Safe Approximate Algorithm for Interprocedural Pointer Aliasing.

William Landi, Barbara G. Ryder

Browse the full PLDI paper archive.