#symbolic-execution CTF challenges
6 CTF challenges using symbolic-execution from 6 CTFs (2021–2024), 6 with writeups.
Often combined with
#angr 4 #strcmp 1 #bytecode-devirtualization 1 #vm-obfuscation 1
Challenges
Filter and sort these in the challenge browser →
| Challenge | CTF | Weight | Category | Has |
|---|---|---|---|---|
| TooMuch | darkCON 2021 | 24.06 | Reverse | files wu 3 |
| babymix | DiceCTF 2021 | 24.82 | Reverse | files wu 3 |
| BasicRev | BYUCTF 2022 | – | Reverse | files src wu 2 |
| Obfuscation | CSAW 2024 Quals | 21.80 | Reverse | files wu 1 |
| DragonPit | UMDCTF 2022 | – | Reverse | files wu 1 |
| Circuitry_magic | m0leCon 2022 Quals | 36.00 | Reverse | files wu 1 |