Efficient and precise points-to analysis: modeling the heap by merging equivalent automata.

Tian Tan, Yue Li, Jingling Xue

Browse the full PLDI paper archive.