Targeting Infeasibility Questions on Obfuscated Codes
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis