1. Anatomy of LISP;Allen,1978
2. Program analysis and specialization for the C programming language;Andersen,1994
3. FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps;Arzt,2014
4. Recency-abstraction for heap-allocated storage;Balakrishnan,2006
5. Bebop: a path-sensitive interprocedural dataflow engine;Ball,2001