Extracting Conditional Formulas for Cross-Platform Bug Search
Driller: Augmenting Fuzzing Through Selective Symbolic Execution