一个模糊测试器和一个符号执行器走进云端

Trail of Bits 介绍其为 DARPA Cyber Grand Challenge 打造的两套生产级漏洞发现系统：全系统模拟器 GRR 在 24 小时内完成数百亿次输入变异与执行，通过内化变异-执行流程消除磁盘 I/O 与分析预热开销，并在 64 位地址空间中隔离运行动态重写指令的 32 位进程；二进制符号执行器 PySymEmu（PSE）负责更"聪明"的路径求解，两者互补、互相喂种子。