State of the art: Dynamic symbolic execution for automated test generation
BitScope: Automatically dissecting malicious binaries