[ACM Press the 4th ACM SIGPLAN International Workshop - Portland, OR, USA (2015.06.14-2015.06.14)] Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2015 - Using targeted symbolic execution for reducing false-positives in dataflow analysis
Arzt, Steven, Rasthofer, Siegfried, Hahn, Robert, Bodden, EricYear:
2015
Language:
english
DOI:
10.1145/2771284.2771285
File:
PDF, 362 KB
english, 2015