[原创] KCTF 2022 Win. 第六题约束与伪随机-CTF对抗-看雪-安全社区|安全招聘|kanxue.com

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

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

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

HHHso

2022-11-28 14:50

6743

图片描述

    [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