Dynamic Reverse Engineering of a Custom Virtual Machine Using Instrumentation
Tags
3 pages
SMT
Full Reverse Engineering Workflow of a Small Virtualized CrackMe
Using Koi for Symbolic Execution to Solve CrackMes and Find Vulnerabilities
