Logoflag1

spbctf

Task: 64-bit ELF (rev-kids20.forkbomb.ru task1) reads a string via gets() and passes it to a C++ test(char*) function that checks length==8 then 8 nonlinear integer equations over the input bytes. Solution: extracted the 8 equations directly from x86-64 disassembly and modeled them as a Z3 constraint system over 8 printable-ASCII integer variables, solved instantly to recover the flag.