APISan: Sanitizing {API} Usages through Semantic Cross-Checking
Automatic Inference of Search Patterns for Taint-Style Vulnerabilities