Extracting Conditional Formulas for Cross-Platform Bug Search
Towards Automated Dynamic Analysis for Linux-based Embedded Firmware