摘要：
一道用z3约束器求解的题目 这里赋值 弄过来弄过去 可以化解成如下 s.add((ss3 & ~ss2) & ss1 | ss3 & (((ss2 & ss1) | ss2 & ~ss1 | ~(ss2 | ss1))) == 577031497978884115) s.add(4483974544 阅读全文
摘要：
好大一个文件 打开玩一玩，开屏雷击 注意到每次打开游戏都有那啥熟悉的图案 百度一下unity游戏怎么逆向 https://www.52pojie.cn/thread-495115-1-1.html 在路径/Data/Managed C#编写的主逻辑模块代码静态编辑之后存储于Assembly-CSha 阅读全文