用历史 CVE 对抗测试 Agent 自拟的软件安全规范

围绕给 AI agent 编写软件规格（spec）的讨论中，jdpressman 提出一个安全规范验证工作流：先让 agent 自行选定规格，再让它遍历所有历史 CVE，逐一判断该规范在原理上能否阻止对应漏洞，随后进行对抗性攻击测试。该讨论源于 Anthropic 似乎在重新发现形式化规范的价值；dlbydq 补充称规格的长尾部分虽难写，但哪怕最偷懒的规格也已足够划算。

2026-10-24 ~ 2026-10-24 · 4 条相关

• 用历史 CVE 逐条检验 Agent 写的安全规范，再做对抗性攻击测试 — jd_pressman · 2026-10-24
• 用 Agent 回溯历史 CVE 验证安全规范,再做对抗性攻击测试 — jd_pressman · 2026-10-24
• 规格写不好也别慌：再懒的 spec 也有超值回报 — dlbydq · 2026-10-24
• 用历史 CVE 做对抗测试：让 agent 自己定规格再自我攻击 — jd_pressman · 2026-10-24