Manuvir Das January 2000
This paper describes a new algorithm for flow and context insensitive pointer analysis of C programs