Note [Code Audit]
Dangling reference leading to Use-After-Free (UAF). Second code audit challenge for ACS 2023 finals.
ACS2023
Licrackense [Binary]
Light RE with z3 + heap overflow. From ACS 2023 finals.
Expr [Binary]
Solve for flag checker that uses multithreading for flag check routine.
Key In Haystack [Code Audit]
Absence of stack initialization and subtle vulnerability to leak secrets read onto the stack.