Using targeted symbolic execution for reducing false-positives in dataflow analysis.

Steven Arzt, Siegfried Rasthofer, Robert Hahn, Eric Bodden

Browse the full PLDI paper archive.