高效的静态分析-符号执行与缺陷模式

- 第十一讲高效的静态分析---符号执行 与 缺陷模式 - 一、符号执行 1、符号执行简介 2、代表工具：PREfix二、缺陷模式 1、缺陷模式简介 2、安全漏洞