[原创] KCTF 2022 Win. 第六题约束与伪随机-CTF对抗-看雪论坛-安全社区|非营利性质技术交流社区

[原创] KCTF 2022 Win. 第六题约束与伪随机

发表于: 2022-11-28 14:50 7076

[原创] KCTF 2022 Win. 第六题约束与伪随机

HHHso

2022-11-28 14:50

7076

图片描述

    [5--8]
[0-4]KCTF[9-d]
 
#ida_bytes.get_dword(0x40F000)
#0x3bfc #[ida_bytes.get_dword(0x40F000+i*4) for i in range(20)]
#ida_bytes.get_dword(0x40F050)
#0x2bb6 #[ida_bytes.get_dword(0x40F050+i*4) for i in range(20)]
 
import z3,ida_bytes
x = z3.Int('x')
z3.solve(x>0,x<100000,(x*0x343FD+0x269EC3)/0x10000%0x8000==ida_bytes.get_dword(0x40F000))
#[x = 14725]
z3.solve(x>0,x<100000,(x*0x343FD+0x269EC3)/0x10000%0x8000==ida_bytes.get_dword(0x40F050))
#[x = 83690]
 
即：14725KCTF83690