DTaint: Detecting the Taint-Style Vulnerability in Embedded Device Firmware
Concolic Execution on Small-Size Binaries: Challenges and Empirical Study