Re: [問題] 請問C程式的反組譯問題

看板C_and_CPP作者 (Lays)時間9年前 (2016/05/05 16:53), 編輯推噓13(13推 0噓 2→)
留言15則, 14人參與, 最新討論串2/2 (看更多)
這一題如果光看 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} -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 220.134.65.207 ※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1462438396.A.A4D.html
推
05/05 17:17, , 1F
感謝說明,因為我前面那一段mov沒搞懂在搬什麼鬼
05/05 17:17, 1F
→
05/05 17:19, , 2F
導致後面理解錯誤...
05/05 17:19, 2F
推
05/05 17:19, , 3F
推大大
05/05 17:19, 3F
推
05/05 18:13, , 4F
lays大神 未看先推
05/05 18:13, 4F
推
05/05 18:14, , 5F
朝聖推
05/05 18:14, 5F
推
05/05 18:15, , 6F
朝聖推
05/05 18:15, 6F
推
05/05 18:19, , 7F
wow
05/05 18:19, 7F
推
05/05 19:22, , 8F
是 lays 我學長我驕傲 推 XDDDD
05/05 19:22, 8F
推
05/05 21:02, , 9F
真不愧是 meh 與他的快樂夥伴 <(_ _)>
05/05 21:02, 9F
推
05/05 21:06, , 10F
朝聖推
05/05 21:06, 10F
推
05/05 21:07, , 11F
聽說是大神，趕快拜一下
05/05 21:07, 11F
推
05/05 21:09, , 12F
已跪 <(_ _)>
05/05 21:09, 12F
→
05/05 22:48, , 13F
板工跪迎 <(_ _)>
05/05 22:48, 13F
推
05/06 18:07, , 14F
大大降臨，推上！
05/06 18:07, 14F
推
05/09 17:35, , 15F
會反組譯的一律要拜...
05/09 17:35, 15F
‣ 更多 L4ys 的文章
文章代碼(AID): #1NAmdyfD (C_and_CPP)
‣ 更多 L4ys 的文章
文章代碼(AID): #1NAmdyfD (C_and_CPP)