BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis
S2E: a platform for in-vivo multi-path analysis of software systems