reversemedium
ReM3 Again
knightctf
Task: Reverse a bloated 500MB ELF binary with decoy checks and Fisher-Yates permutation-based transformation. Solution: Used angr symbolic execution with flag format constraints to find the correct input that passes the real check.
$ ls tags/ techniques/
static_analysissymbolic_executionangrdata_extraction
🔒
Permission denied (requires tier.pro)
Sign in to access full writeups
Create a free account with GitHub, then upgrade to Pro.
$ssh [email protected]