每天仅 20 美元挖出 10 个漏洞，8 个是 CodeQL 没发现的全新漏洞
_h4xr · reddit · 2026-11-08
在 Anthropic 发布 Mythos、OpenAI 宣布在 Linux 内核找出 1000 个漏洞（平均每个约 1000 美元）之后，作者尝试把 LLM 漏洞挖掘做便宜：不让模型做全流程，只让它做擅长的不确定性推理，其余用确定性工具完成。
五阶段流水线：
- 代码上下文图：把整个源码解析成编译器级的 Code Context Graph（10万-100万节点）
- Hunting：定位用户数据入口（source）与危险汇聚点（sink），枚举 source→sink 路径（1000-5000 条）
- Flow 验证：LLM 对每条路径推理，输出 Confirmed/Blocked，附带查询预算补全缺失信息（剩百余条）
- Condition 阶段：验证触发条件与项目默认配置是否阻断（剩数十条）
- 对抗挑战：另一类 LLM 专职反驳前面的结论，反驳失败才升级为确认漏洞
实测结果：单日约 20 美元成本跑 5 个开源项目，提交 10 个 MEDIUM 到 CRITICAL 漏洞，4 个已确认；其中 8 个是 CodeQL 规则集未覆盖的全新漏洞，仅 2 个与 CodeQL 重合。
「编程与Agent」频道最新
- Anthropic 招聘经理废除编码面试：AI 时代饥饿感胜过资历 — bibryam · 2026-11-08
- Agent Lightning 论文:让模型在部署同一套 harness 中训练智能体 RL — bibryam · 2026-11-08
- 程序员12年8000次提交:从一个黄色三角形到可驾驶的30公里岛屿 — ssh4net · 2026-11-08
- LLM 真能赢过人类工程师？FFmpeg 的 Assembly 代码是现成考题 — sh4dy_0011 · 2026-11-08
- 终端 Markdown 预览器 leaf 走红：支持 Mermaid 图和 LaTeX 公式 — 4310sy · 2026-11-08
- 开发者开源 AILv1:带 MCP 服务器的跨模型上下文交接格式 — fireheart_101 · 2026-11-08