Falcon：反例驱动安全编码验证框架

Tue Le 等作者提出反例锚定的验证框架 Falcon，将攻击探索与行为验证分离，并通过被测程序的执行轨迹把两者连接起来。 在测试时修复中，Falcon 在安全代码生成基准上的留出功能-安全增益显著强于其他安全信号，同时保持或提升功能；作为强化学习奖励，它在留出功能-安全上也优于静态分析和学习型奖励。作者称，与任一代理奖励结合还能进一步提升留出性能，表明执行驱动的反馈可缓解奖励过度优化。

AI 根据报道生成 · 50 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。