[Cyber Jawara 2019 Qualification] – Haseul

Kita di berikan sebuah file ELF 64bit yang dapat kalian download disini

Kita coba buka file tersebut dengan IDA Pro 64bit

Dari algoritma diatas, string tersebut dibandingkan dengan sesuatu yang ada di dalam byte_8A0 

Kemudian kita buat menjadi desimal yang menjadi

Dari main diatas dan isi dari byte_8A0, kita buat solvernya dengan menggunakan metode z3

dan hasilnya adalah…

Flag is CJ2019{y0u_can_s0lve_thi5_ea5ily_usin9_Z3}

Leave a Reply

Your email address will not be published. Required fields are marked *