BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis
Symbolic execution for software testing: three decades later