Using Targeted Symbolic Execution for Reducing False-positives in Dataflow Analysis

Arzt, Steven; Rasthofer, Siegfried; Hahn, Robert; Bodden, Eric

doi:10.1145/2771284.2771285

Using Targeted Symbolic Execution for Reducing False-positives in Dataflow Analysis (bibtex)

@inproceedings{	soap2015,
 author = {Arzt, Steven and Rasthofer, Siegfried and Hahn, Robert and Eric Bodden},
 title = {Using Targeted Symbolic Execution for Reducing False-positives in Dataflow Analysis},
 booktitle = {Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis},
 series = {SOAP 2015},
 year = {2015},
 pages = {1--6},
 numpages = {6},
 doi = {10.1145/2771284.2771285},
 url = {https://www.bodden.de/pubs/arhb15targeted.pdf},
}