A framework for efficient modular heap analysis / - Madhavan, Ravichandhran