Extracting Conditional Formulas for Cross-Platform Bug Search
BAP: A Binary Analysis Platform