reversehard
interpreter-required
dicectf_2026
Task: Reverse engineer a stripped ELF interpreter for a CJK-based lambda calculus language and extract the flag from a program that would OOM if executed. Solution: Static analysis of Church-encoded arithmetic expressions, recognizing patterns and computing as integers instead of beta-reduction.
$ ls tags/ techniques/
interpreter_reverse_engineeringchurch_numeral_evaluationstatic_symbolic_evaluationbinary_literal_parsing
🔒
Permission denied (requires tier.pro)
Sign in to access full writeups
Create a free account with GitHub, then upgrade to Pro.
$ssh [email protected]