Extracting Conditional Formulas for Cross-Platform Bug Search
Leveraging semantic signatures for bug search in binary programs