AGI Daily
广告
AGI Daily跟踪世界 AGI 进展AGI INTELLIGENCE · DAILY
全部算力算法数据人物日报主题
AGI Daily
全部算力算法数据人物日报主题
广告

Claude Mythos 辅助发现 Squid 29 年历史漏洞

2026-06-23 / 2026年6月23日 · 共 1,027 字

Calif.io

2026 年 6 月,安全研究员 Lam Jun Rong 披露了 Squid 代理服务器 FTP 目录列表解析器中的内存泄露漏洞 Squidbleed(CVE-2026-47729)。研究人员使用 Claude Mythos Preview 辅助审查代码并定位问题;相关缺陷可追溯到 1997 年加入的兼容逻辑。

这起案例的重要性不在于证明 AI 可以替代安全研究员,而在于展示了模型在给定代码、测试环境和明确审计目标后,能够帮助研究人员发现容易被经验判断忽略的边界条件。

漏洞机制与影响

问题位于 Squid 的 FTP 目录列表解析逻辑。代码使用 strchr 判断当前字符是否属于空白字符集合,但 C 标准规定,搜索字符串的终止空字符也属于可匹配范围。当畸形目录条目在时间戳之后没有文件名时,指针可能越过缓冲区边界,随后将相邻堆内存作为文件名复制并返回。

研究人员使用 AddressSanitizer 验证了越界读取,并指出泄露内容可能包含同一进程堆内存中的请求数据。实际风险取决于 Squid 配置、FTP 可达性和内存布局,不能据此推断所有部署都会泄露凭据。

修复方式是在继续搜索空白字符前先检查当前字符是否为字符串终止符。该问题已在 Squid 7.6 中修复;使用受影响版本且允许代理访问 FTP 的运营者应参考官方安全公告升级或禁用不需要的 FTP 功能。

AI 在发现过程中做了什么

Rong 的记录显示,Claude Mythos Preview 在审计过程中指出了 strchr 对终止空字符的处理,并协助扩展对 FTP 状态机的检查。研究人员随后完成复现、影响分析和报告。漏洞也由其他研究人员独立提交,这说明最终确认仍依赖人工验证与协调披露。

因此,更准确的描述是“AI 辅助发现”,而不是“模型在几分钟内完成了人类 29 年做不到的事”。漏洞存在时间长,并不等于其间每次代码审查都覆盖了这段逻辑;一次成功案例也不能直接证明自动化审计已经普遍优于人工审计。

从个案到工具化审计

Squidbleed 与 Anthropic 的 Project Glasswing 展示了同一方向:模型可以并行浏览大型代码库、提出可疑路径,再由研究人员复现和分级。Help Net Security 在 5 月对 Glasswing 阶段性结果的报道表明,这类系统已经能批量产生值得验证的安全线索。

但数量和命中率必须结合筛选口径理解。模型输出、独立验证、漏洞严重性判断和修复优先级是不同环节。对维护者而言,现实做法仍是把模型作为审计工具之一,并通过测试、模糊测试、人工复核和负责任披露流程确认结果。

来源

  1. Mythos discovers 'Squidbleed,' a memory leak that's gone undetected since Clinton era · The Register
  2. Squidbleed (CVE-2026-47729) · Calif.io
  3. Anthropic: Claude Mythos identified 10,000+ software flaws · Help Net Security
  4. SQUID-2026:4 Memory disclosure in FTP gateway · Squid Project / GitHub

评论

登录后即可参与评论。

加载评论中…

相关文章

  • 冷冻电镜重构:一个由基因组语言模型设计出的功能性噬菌体颗粒

    Evo 2 首次生成 16 个可用噬菌体:'从零设计'的真实增量与边界

    算法 · 2026-08-19

  • SynthID-Text 论文示意图:上方为 LLM 逐 token 生成文本的过程,下方为生成式水印的三个组件——随机种子生成器、采样算法与评分函数

    Claude 文本水印全量落地:AI 检测从「猜风格」转向「验密钥」

    算法 · 2026-08-17

  • Cursor 应用图标在 macOS Dock 上的特写

    Cursor 发布 Origin 代码托管平台:把「存代码」也收进 AI 编码栈

    算法 · 2026-08-21

  • 金色 Tesla Cybercab 无方向盘、无踏板的专用 robotaxi

    特斯拉 Cybercab 计划本月在奥斯汀公测:专用车已量产,自动驾驶仍未规模验证

    算法 · 2026-08-18

  • ChatGPT for Teens 界面截图,展示 Study Mode 用引导式提问帮助青少年逐步解答代数题,而不是直接给出答案

    ChatGPT for Teens 上线:OpenAI 把未成年人安全做成默认产品

    算法 · 2026-08-18

  • 论文图 1:14 个模型按约束偏差指标(CBI)分化为过度激活与欠激活两类群体

    LLM 知道约束却不用:激活修补证明这是路由问题,不是知识问题

    算法 · 2026-08-17

AGIDaily跟踪世界 AGI 进展© 2026 AGIDaily
关于邮件栏目主题定制投稿招聘广告SkillTermsContactRSS