1 paper
Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat
Flow- and context-sensitive pointer analysis is generally considered too expensive for large programs; most tools relax one or both of the requirements for scalability. We formulat…