1. Compilers: principles, techniques, and tools;Aho,2006
2. FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps;Arzt,2014
3. Towards security testing with taint analysis and genetic algorithms;Avancini,2010
4. Unified modeling language user guide;Booch,2005