z3
文章归档

z3 是微软开发的的高性能约束求解工具。 z3 也是 angr 和 triton 底层的约束求解器。其强大的数学求解能力在CTF解题中被广泛使用， 本文记录/摘录一些常用的z3 Python API…

    2021-11-03   去围观