2022年12月30日
小小结
摘要： 今天搞了大半天，问题挺多的首先就那个虚拟机一直说计算机积极拒绝访问，导致我半天都调试不起，其次ida的调试太拉了（我一开始调试半天发现一直闪退，结果搞忘下断点了，服了，）有时我一直找不到我想要的值，z3语法有点不熟练，一开始程序写出来一堆数字，后面才晓得还要chr一下，结果也不是简单的chr，挺麻烦 阅读全文
posted @ 2022-12-30 16:47 记忆浮夸 阅读(32) 评论(0) 推荐(1)
Z3首次运用
摘要： 虽然模仿痕迹较重，但是感觉抓住了精髓 from z3 import * Datacmp=[0x66,0x4e,0xa9,0xfd,0x3c,0x55, 0x90,0x24,0x57,0xf6,0x5d,0xb1, 0x1,0x20,0x81,0xfd,0x36,0xa9, 0x1f,0xa1,0xe 阅读全文
posted @ 2022-12-30 16:31 记忆浮夸 阅读(54) 评论(0) 推荐(1)
2022年12月28日
Z3（1）
摘要： z3 Solver() 创建一个求解器，在里面添加约束条件进行下一步的求解 solver = Solver add() 通常在solver()命令之后，用来添加约束条件，通常添加的约束条件是一个等式 solver.add() check() 判断是否添加的约束条件是否有解，有解返回sat，无解返回u 阅读全文
posted @ 2022-12-28 20:37 记忆浮夸 阅读(128) 评论(0) 推荐(1)
2022年12月27日
Hello随笔
摘要： v2.6.3 Updated lodash to squelch a security warning (#1675) v2.6.2 Updated lodash to squelch a security warning (#1620) v2.6.1 Updated lodash to preve 阅读全文
posted @ 2022-12-27 18:29 记忆浮夸 阅读(27) 评论(0) 推荐(0)