Steven Arzt, Siegfried Rasthofer, Robert Hahn, Eric Bodden. Using targeted symbolic execution for reducing false-positives in dataflow analysis. In Anders Møller, Mayur Naik, editors, Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA, June 15 - 17, 2015. pages 1-6, ACM, 2015. [doi]
Abstract is missing.