Using targeted symbolic execution for reducing false-positives in dataflow analysis
SymDroid: Symbolic Execution for Dalvik Bytecode