Genproof宣称发现300余个开源漏洞

Genproof 正式发布其新研究实验室，并宣称运用形式化方法在 Linux、NASA 代码、OpenSSL、curl、Redis、zstd 等 100 多个开源项目中发现了 300 多个 Bug，其中部分问题潜伏超过 10 年。 这些发现目前属于团队自身公布的结论，报道中未提供各漏洞的编号、修复状态或独立第三方验证情况。 这家公司此前已对外宣传其形式化验证能力，此次把成果范围从单一项目扩大到百个以上项目，但“300+ 个漏洞”这一数字以及“潜伏十年”的表述仍待社区和项目维护者确认。

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

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