二进制分析实战的内容

第十二章：符号执行

12.1 概述 用“未知数（比如代数里的x、y）”代替真实数值去“模拟运行”程序，看所有可能的分支路径会得出什 […]……