03 2024 档案

Z3约束器使用流程
摘要：Z3约束器使用流程 目录Z3约束器使用流程z3基本数据类型初始化未知数序列z3求解四步骤1.创建约束求解器2.s.add3.判断解是否存在4.求解CTF中的Z3模板 z3基本数据类型 Int #整型 Bool #布尔型 Array #数组 BitVec('a',8) #char型 其中BitVec可 阅读全文
posted @ 2024-03-21 11:17 陳51r 阅读(98) 评论(0) 推荐(0) 编辑
[GWCTF 2019]pyre
摘要：首先是简单的pyc - py 这题唯一要注意的一个点就是 遇到 % 务必进行爆破 爆破exp `code = ['\x1f', '\x12', '\x1d', '(', '0', '4', '\x01', '\x06', '\x14', '4', ',', '\x1b', 'U', '?', 'o' 阅读全文
posted @ 2024-03-03 20:59 陳51r 阅读(118) 评论(0) 推荐(0) 编辑

阅读目录(Content)

此页目录为空

点击右上角即可分享
微信分享提示