1. Evaluating a demand driven technique for call graph construction;Agrawal,2002
2. Eliminating virtual function calls in C++ programs;Aigner,1996
3. Program analysis and specialization for the C programming language;Andersen,1994
4. Precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for android apps;Arzt,2014
5. Fast static analysis of C++ virtual function calls;Bacon,1996