摘要:
RE 一个西瓜切两半你一半我一半 有点谜语,文本给的是输出和key # Visit https://www.lddgo.net/string/pyc-compile-decompile for more information # Version : Python 3.6 flag='' key = 阅读全文
摘要:
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[ 阅读全文