BitScope: Automatically dissecting malicious binaries
Symbolic execution and program testing