2k - redpwnctf 2021 AmunRha 2021-07-22 Reversing / Linux tl;dr This is a simple stack based VM 25-27 opcodes and 8 different constraints Extract the constraints Use z3 to find a satisfying model Read More Linux VM Reversing
Wannavmbe - InCTF Internationals 2019 Freakston 2019-09-30 Reversing / Windows Intended solution of Wannavmbe challenge from InCTF Internationals 2019 tl;dr Challenge is a VM. Reverse Instruction types and implementation. Understand that it has a fucntion which takes the base64 of CWD (Current working directory). Find the corrcect directory where it needs to be placed. Read More Windows VM Reversing Automation
Signal VM de1ta (Part 2) - de1CTF 2019 R3x 2019-08-09 Reversing / Linux tl;dr Challenge is a VM implemented over signals and ptrace Reverse Instruction types and implementation Use gdb scripting to find the executed code and get the pseudo VM code Find out the algorithm (Max triangle sum) from VM instructions Find an more optimized way to solve the problem (Or lazy solve it!). Read More Linux VM Reversing Automation
Signal VM (Part 1) - de1CTF 2019 R3x 2019-08-08 Reversing / Linux tl;dr Challenge is a VM implemented over signals and ptrace Reverse Instruction types and implementation Use gdb scripting to find the executed code and get the pseudo VM code Reverse the VM functionality (Hill cipher) for flag and profit Read More Linux VM Reversing Automation