当前位置: 首页 > 在线实验 > 约束求解器Z3
选择课程

约束求解器Z3

实验视频
实验机保留时间 ::
3人评价 学习人数:1489 难度:高级 设计师:Honor_of_LUT
Z3 是一个微软出品的开源约束求解器,能够解决很多种情况下的给定部分约束条件寻求一组满足条件的解的问题(可以简单理解为解方程的感觉,虽然这么比喻其实还差距甚远,请勿吐槽),功能强大且易于使用,本文以近期的 CTF 题为实例,向尚未接触过约束求解器的小伙伴们介绍 Z3 在 CTF 解题中的应用。
...全部展开 
 200
会员免费学
  • 指导书
  • 评价(3)
  • 问答(0)

上传实验报告 实验报告模板

上传文件支持 20M内的 doc或 docx格式的文件。

实验标签
Z3 二进制安全 逆向分析
相关推荐
提供者: 播放次数:0