Astra 发现 Anthropic 验证示例规格漏洞

Astra 团队发现，Anthropic 官方形式化验证示例的规格存在漏洞：其规格说明没有校验输出字节是否与输入字节一致，因而该示例未能验证这一关键性质。 这一发现指向 Anthropic 用于演示形式化验证的官方示例，而非其产品被证实存在同类缺陷；发帖人 josephhgarvin 称，示范形式化验证的示例本身遗漏了关键检查。

AI 根据报道生成 · 2 小时前更新

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