Using targeted symbolic execution for reducing false-positives in dataflow analysis
Harvesting Runtime Data in Android Applications for Identifying Malware and Enhancing Code Analysis