2024年4月13日
阿里云CTF and 其他
摘要： RE复现 login_system 这个函数就是判断username,点进去发现是线性方程，用z3解 from z3 import * s=Solver() a=[0]*16 for i in range(16): a[i]=Int('a'+"["+str(i)+"]") s.add(a[2]+a[ 阅读全文
posted @ 2024-04-13 18:58 BediveRe_RE 阅读(25) 评论(0) 推荐(0) 编辑