第五章 高级篇 5.0 软件漏洞分析 5.1.1 AFL fuzzer 5.2 动态二进制插桩 5.2.2 DynamoRio 5.4 数据流分析 5.5 污点分析 5.7 程序切片 5.8.1 Z3 5.10 基于二进制比对的漏洞分析 5.11.1 RetDec