voooooogel：agent fuzzing 与形式化验证双管齐下，不必等完美方案

voooooogel 提出「钳形策略」：一面用 agent fuzzing 持续发现并修复漏洞，一面并行把软件栈迁移到内存安全、经形式化验证的组件上。他表示形式化验证只是方案的一部分，不必等它成熟才动手，两者组合才是制胜之道。