基本属性 首先，我们有一些关于这个项目的基本属性：它的CPU体系结构，文件名以及入口点的地址。 arch是archinfo ...

0x00:前言 之前接触到了符号执行，可以用于程序的自动化分析，感觉还是比较神奇，工业上的具体用法不是很清楚，不过在CTF中这个东西慢慢在流行...从defcon 2016就可以看出(有很多人解re用符号执行)。常用的库有angr、z3，我只尝试了angr。 0x01:关于符号执行 以下 ...

0、资料 几个主要的网站 angr的github：https://github.com/angr angr的document：https://docs.angr.io/ angr的api：https://angr.io/api-doc/ 1、angr安装 我的实验环境 ...

Surveyor 作为符号执行的引擎，它跟踪可执行的路径，标志出向前进的路径和倒退的路径，并且优化资源配置. surveyor类并不直接使用，一般会被开发者子类化后来用 ...