代码安全

验证正聚焦于真正重要的代码路径

近期证据使操作性验证更加精准。DiffTestGen 针对发生变更的行为，而 GapForge 针对未覆盖的编译器区域；两者的表现都优于覆盖范围更广的测试生成基线。治理和安全研究将同一原则延伸到了测试之外，但其中一些结论仍依赖小规模研究或不完整的报告。