作者:
L4ys (Lays)
2016-05-05 16:53:10這一題如果光看 disassembly 會非常痛苦
如果有 IDA Decompiler 會輕鬆許多
整個判斷過程翻譯回 C 大概是這樣:
https://gist.github.com/L4ys/5b53d094f3ac66825a9e7afca30a258b
你看到的部分只是第一個 check，而總共必須通過 51 次 check
這題考的是如何利用 constraint solver 去推算出符合條件的 input
最簡單的方法是透過 z3 (https://github.com/Z3Prover/z3) 來求解
附上我比賽時寫的 solution:
https://gist.github.com/L4ys/9d4af3f76add2eb111a9c5623ef8f67b
FLAG: CTF{0The1Quick2Brown3Fox4Jumped5Over6The7Lazy8Fox9}
作者:
HowLeeHi (處處留心皆正妹)
2016-05-05 17:17:00感謝說明,因為我前面那一段mov沒搞懂在搬什麼鬼導致後面理解錯誤...
作者:
iGene (iGene)
2016-05-05 18:15:00朝聖推
作者: tuyutd0505 (Huang Jason) 2016-05-05 19:22:00
是 lays 我學長我驕傲 推 XDDDD
作者: ddaa (ddaa) 2016-05-05 21:02:00
真不愧是 meh 與他的快樂夥伴 <(_ _)>
作者: alice1993613 (meh) 2016-05-05 21:06:00
朝聖推
作者:
Caesar08 (Caesar)
2016-05-05 21:07:00聽說是大神，趕快拜一下
作者: scwuaptx (Angel) 2016-05-05 21:09:00
已跪 <(_ _)>
作者:
wtchen (沒有存在感的人)
2016-05-05 22:48:00板工跪迎 <(_ _)>