Canvas is not supported in your browser.
首页 课程 文章
无痕注入 APC注入 线程注入 读写驱动 注入技术 句柄表 进程线程 系统调用 保护模式 内存管理 远程CALL 软件调试 驱动封装 云下发 驱动开发 FPS数据 方框透视 FPS方框 FPS自瞄 CE D3DHOOK D3D绘制 Imgui绘制 DWM
内核课程 驱动出租 学习路线 聊天室 免责声明 提问技巧

CTF对抗-KCTF2022秋季赛第二题分析(4qwerty7)

推荐 原创

周杰伦

文章分类 Android安全 CTF对抗 IOS安全 阅读数 : 511 阅读时长 : 9分钟

简单分析可知此题采用了高精度计算，且高精度数值的结果为：

1
2
3
4
5
6
7
00000000 Number          struc ; (sizeof = 0x24 , mappedto_20)
00000000                                         ; XREF: .data:numA / r
00000000                                         ; .data:numB / r ...
00000000 len             dd ?
00000004 data            db 32 dup(?)            ; XREF: num_mul_s + 1AF / r
00000004                                         ; num_mul_s + 1B9 / r ...
00000024 Number          ends

IDA 阅读反编译结果可知，其函数列表_main之前的函数分别为（其中s代码有额外代码）：

 

parse_number
init_number_by_int
copy_num
num_cmp_s
num_add_s
num_sub_s
num_and_s
num_or_s
num_xor_s
num_mul_s
num_div_s
num_mod_s
number_mod
num_lshift
num_rshift

 

于是 Python 还原主程序代码如下：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
def check(A, B, C):
     fit = 0
     D = E = 0
     round_id = 0
     while True :
         round_id + = 1
         D + = A
         E + = B
         D % = C
         E % = C
         F = D - 1
         if F = = A:
             fit + = 1
             F * = A
         G = E + 1
         if G = = B:
             fit + = 1
             G = C / B
         if fit = = 10 :
             return True
         if round_id > = 0x200000
             return False

这段代码fit显然很难大于2，考虑看高精度里夹杂的代码，这些代码翻译如下：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
# logic in cmp
F = 4
if  G % round_id = = 1 :
     G = F >> round_id
     F % fit
 
# logic in add T
if  G % round_id = = 4 :
     G = F >> round_id
     F % fit
 
# logic in sub T
if  C % round_id = = 4 :
     G % fit
     G >> = round_id
 
# logic in and
G = E | A
if round_id % 2 = = 1 and G > F:
     F << = round_id
     F % fit
if G % round_id = = maxSrcLen:
     F = E % fit
 
# logic in or
F = D ^ A
if round_id % 2 = = 0 and G = = F:
     G = F % round_id
     F >> = fit
     G & = C
if fit > 0 and F = = G:
     F >> = round_id
     F % fit
     F << = round_id
 
# logic in xor
if fit > 0 :
     F = 4
     if G % round_id = = 1 :
         G = F >> round_id
         F % fit
 
# logic in mul
F = 4
G = F << 3
if fit > 0 and C[G[ 0 ]] = = G[ 0 ]:
     F + = G
     C[F[ 0 ]] + = 4
     F << = F % round_id
     G = F - G
 
# logic in div
F = 4
G = F << 3 # 32
if fit > 0 and C[G[ 0 ]] = = G[ 0 ]: # round_id==32
     F + = G # 32+4
     C[F[ 0 ]] + = 4 # fit += 4
     F << = F % round_id
     G = F - G
 
# logic in mod
F = D & E
if F > G and fit > 0 :
     F >> = round_id
     G = A + B
     F - = G
 

注意到匹配才会触发的乘除法中的特殊逻辑，容易发现C[G[0]]与C[F[0]]都是越界访问，实际访问的是 round_id 和 fit，因此只要让原本两个 fit += 1 的条件在 round_id == 32 的时候触发就能满足全部条件。

 

为此，编写如下程序：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
alphabet = '0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz'
def parse_num(x):
     ans = 0
     for v in x[:: - 1 ]:
         ans * = len (alphabet)
         ans + = alphabet.index(v)
     return ans
 
def to_str(x):
     s = ''
     while x > 0 :
         s + = alphabet[x % len (alphabet)]
         x / / = len (alphabet)
     return s
 
from gmpy2 import *
C = parse_num( 'IRtzloZ6iuB' )
A = int (invert( 31 , C))
B = A * (C - 1 ) % C
 
assert A < B < C
 
print (to_str(A) + '-' + to_str(B))

输出 ZSxZerX4xb4-jyvP7x12lI7 验证发现正确。



更多【KCTF2022秋季赛第二题分析(4qwerty7)】相关视频教程：www.yxfzedu.com




相关文章推荐

记录自己的技术轨迹
文章规则：
1)：文章标题请尽量与文章内容相符
2)：严禁色情、血腥、暴力
3)：严禁发布任何形式的广告贴
4)：严禁发表关于中国的政治类话题
5)：严格遵守中国互联网法律法规
6)：有侵权,疑问可发邮件至service@yxfzedu.com
近期原创 更多
友情链接
内核结构 FAQ
免责声明
课程目录
Windows内核
游戏逆向(FPS)
技术交流QQ群
342478842 215039827 137189196
314055665 159620936
微信公众号
www.yxfzedu.com是一个分享游戏安全,游戏外挂与反外挂,游戏驱动保护的视频网站！
接各种驱动定制如：游戏读写驱动，软件内存保护，防止调试等功能定制。
出租读写驱动，调试驱动，无痕注入支持各种游戏。
邮箱：service@yxfzedu.com
QQ：851920120
特别说明：不接游戏数据分析，外挂编写，登陆协议等类似业务。