BUUCTF re62 login

62.login
这是个pyinstalller打包的exe文件

先使用pyinstxtractor.py文件提取出python工程文件

然后使用pycdc.exe反编译login.pyc文件

得到

z3约束求解即可