用历史 CVE 逐条检验 Agent 写的安全规范，再做对抗性攻击测试
jd_pressman · x · 2026-10-24
在讨论 Anthropic 似乎正在重新发现形式化规范（formal specification）的教训时，jdpressman 分享了他的计划：让 agent 自己选定规范，然后遍历所有历史 CVE，逐一询问"这套规范原则上能否阻止该漏洞"，最后进入破坏者模式做一轮对抗性测试，攻击软件和规范本身找出薄弱点。评论区有人戏称这个做法值得当选安全社区大使。
所属事件:用历史 CVE 对抗测试 Agent 自拟的软件安全规范(4 条相关)→
「编程与Agent」频道最新
- Google DeepMind 研究员演示在办公桌上跑 3D 赛车游戏 — thursdai_pod · 2026-10-24
- Austin LangChain 演讲：小模型优先+缓存复用的分层推理路由法 — colinmcnamara · 2026-10-24
- NVIDIA 开源 OpenShell:自主 Agent 运行时沙盒,18.6k star — petrusenko_max · 2026-10-24
- 睡前给 Claude Code 一个目标：一夜筛出 380 家健身房拟出 30 封外联草稿 — Arindam_1729 · 2026-10-24
- Factory 发布 Anthropic 客户案例:谈大型代码库长程任务与「黑暗工厂」 — matanSF · 2026-10-24
- 开发者用 Rust 重写 Apache2 并加 Verus 规约：比继续跑 C 版更划算 — jd_pressman · 2026-10-24