Using targeted symbolic execution for reducing false-positives in dataflow analysis
ALETHEIA: Improving the Usability of Static Security Analysis