2017年11月20日
angr学习(二)
摘要： Surveyor 作为符号执行的引擎，它跟踪可执行的路径，标志出向前进的路径和倒退的路径，并且优化资源配置. surveyor类并不直接使用，一般会被开发者子类化后来用作他们自己的分析。 最常见的符号分析（类似探索从A达到B，并避开C）已经在Explore类中实现。 Explorer surveyo 阅读全文
posted @ 2017-11-20 01:03 fancy鑫 阅读(2077) 评论(0) 推荐(1) 编辑