modular interprocedural pointer analysis using access paths : design , implementation , and evaluation .
Introduction to Algorithms