BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis
Pin: building customized program analysis tools with dynamic instrumentation