强大的正则表达式——Hard

由前两篇文章《Easy》中提到过的:

还是先相信一下AI,让AI写个生成满足难度3的正则表达式的python代码,但还是出错了,还是不能什么都指望AI


了解了一下相关知识,CRC本质上是多项式除法,所以同样可以得到对应的有限状态机,再转换为正则表达式。然而,由于和上一小题略有区别的是,初始状态为7与终止状态0不同,这使得我们的生成代码也需要略加修改。

复制代码
import pwn
import libscrc

# 定义 token
token = b"531:MEYCIQDHL9dv6rPhZXD7kTqsNQhOCMdkSDmQ9lwfWCGlJGX9WwIhAIRyevrdkoLnKaHDBDnUCADQ9Yt0R6nf5irm5hQwDTiI"

# 构建状态转移矩阵
paths = [[set() for _ in range(8)] for _ in range(8)]

# 生成状态转移路径
for i in "0123456789":
    for j in "0123456789":
        # 计算单个字符和两个字符的CRC值
        crc_i = libscrc.gsm3(i.encode())
        crc_ij = libscrc.gsm3((i + j).encode())
        # 添加状态转移路径
        paths[crc_i][crc_ij].add(str(j))

# 定义路径合并函数
def path_union(lst):
    return "(" + "|".join(lst) + ")"

# 定义状态列表
states = [0, 7, 6, 5, 4, 3, 2, 1]
state_count = 8

# 消除中间状态,构建最终的正则表达式
while state_count > 2:
    target = states[state_count - 1]
    loop = ""
    if len(paths[target][target]) > 0:
        loop = path_union(paths[target][target]) + "*"
        # 擦除状态后重写相关的边
    for i in states[:state_count - 1]:
        for j in states[:state_count - 1]:
            if len(paths[i][target]) > 0 and len(paths[target][j]) > 0:
                paths[i][j].add(path_union(paths[i][target]) + loop + path_union(paths[target][j]))
    state_count -= 1

# 最后剩下起始和结束状态时手动拼接
regex = path_union([
    path_union(paths[7][7]),
    path_union(paths[7][0]) + path_union(paths[0][0]) + "*" + path_union(paths[0][7])
]) + "*" + path_union(paths[7][0]) + path_union(paths[0][0]) + "*"

# 建立网络连接
conn = pwn.remote('202.38.93.141', 30303)
conn.send(token)
conn.send(b"\n")

# 选择难度级别
conn.recvuntil(b"(1~3): ")
conn.send(b"3\n")

# 发送正则表达式
conn.recvuntil(b"regex: ")
conn.send(regex.encode())
conn.send(b"\n")

# 进入交互模式
conn.interactive()

成功得到flag

相关推荐
lifejump14 小时前
文章管理系统CMS的XSS注入渗透测试(白盒)
前端·web安全·xss·安全性测试
Cyyyy_g14 小时前
大米CMS支付漏洞复现报告
网络安全
不像程序员的程序媛1 天前
网络安全概念之网闸&防火墙AI版
安全·web安全
Le_ee1 天前
Apache2
服务器·网络安全·apache·web
小张的博客之旅1 天前
2025年“羊城杯”网络安全大赛 线上初赛 (WriteUp)
python·学习·网络安全
unable code1 天前
攻防世界-Web-shrine
网络安全·web·ctf
Never_z&y1 天前
纵深防御——文件上传漏洞
web安全
缘友一世1 天前
活动目录的枚举学习
学习·网络安全·网路攻击
K_i1341 天前
HTTP与HTTPS:从明文到加密的Web安全革命
web安全·http·https
huluang2 天前
网络安全等级测评师能力评估样卷及答案
安全·web安全