2025年4月21日
Buuctf - Universe_final_answer 1 之Z3求解器的代码
摘要： 贴一份经典的Z3求解的代码 from z3 import * s = Solver() a1 = [0] * 32 for i in range(32): a1[i] = Int('a1['+str(i)+']') s.add ( 1629056 * a1[0] == 166163712 ) s.a 阅读全文
posted @ 2025-04-21 20:52 LingWann 阅读(44) 评论(0) 推荐(0)
2025年4月20日
IDA之修复结构体
摘要： 修复结构体有两种方法 一是C语言式修复（麻烦） 二是直接设置（更简单，更推荐） 首先学会设置IDB快照(其实本人很少使用） IDB快照:.idb文件，可快速帮我们恢复某个时间点的快照，可以防止错误太多 View - Database snapshot manager 其中Take snapshot 阅读全文
posted @ 2025-04-20 02:01 LingWann 阅读(196) 评论(0) 推荐(0)
2025年4月19日
Buuctf - oruga 解释地图边界问题
摘要： 迷宫边界部分详解 阅读全文
posted @ 2025-04-19 23:21 LingWann 阅读(18) 评论(0) 推荐(0)