[BackdoorCTF 2017] – No Calm

Soal ini diberikan sebuah ELF 64bit file yang bisa kalian download disini

Kemudian coba kita buka file tersebut dalam IDA Pro 64 bit, dan kita lihat psudeocodenya.

Kemudian dari hasil Psudeocode ini kita mendapati banyak sekali constraint yang diterapkan pada soal, sehingga ada 2 cara untuk mengerjakannya yakni dengan Angr atau dengan Z3 solver. Kali ini saya akan menggunakan Z3 solver untuk mengerjakannya.

Dari semua constraint yang diberikan, jadilah solver seperti ini.

Hasil dari solver ini adalah,

Leave a Reply

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