Analyzing Android Taint Analysis Tools: FlowDroid, Amandroid, and DroidSafe