Automatic Inference of Search Patterns for Taint-Style Vulnerabilities | IEEE Conference Publication | IEEE Xplore