Symbolic pointer analysis revisited.

Jianwen Zhu, Silvian Calman

Browse the full PLDI paper archive.