Genproof 宣称找出 300+ 个隐藏十年的开源 Bug

Genproof 宣称在 Linux、NASA 代码、OpenSSL、curl、Redis、zstd 等 100+ 个开源项目中发现 300+ 个 Bug，部分问题已潜伏超过 10 年。