2022年1月25日
z3学习笔记
摘要： z3 solver学习笔记 1.0 安装 Z3由微软开发的一套约束求解器，你可以简单的理解它是解方程的神器。 在CTF中有的题目可能会遇到给你一堆条件，但是写不出逆向脚本，或者是使用爆破手段获取flag的时间过长，此时z3的作用便发挥了出来。 由于在上一篇 angr学习笔记中已经了解了虚拟环境 vi 阅读全文
posted @ 2022-01-25 23:10 EPs1l0h 阅读(200) 评论(0) 推荐(0) 编辑