形式验证的真正价值：缩小搜索空间，红队直击要害
jd_pressman · x · 2026-11-15
jdpressman 提出一个表述：形式验证的主要意义不在于一次性写出完美软件，而在于缩小搜索空间，让红队能直接攻击仍然最脆弱（pareto 最暴露）的部分。
被引推文是 moyix 相关的实践：通过让 ChatGPT 编写 profiler,遍历请求路径上所有理论上可能发生 DoS 的资源点（攻击者可控的资源），再配合部署基准测试在真实负载下验证，从而把 web 服务器中的 DoS 漏洞作为一个类别「经验性消除」。
所属事件:用 ChatGPT 系统排查 DoS 漏洞并反思形式验证价值(2 条相关)→
「编程与Agent」频道最新
- 开发者预判：人机协作的多玩家 AI 工作流将被低估 — diegobuildsai · 2026-11-15
- 一张京都照片变可漫游 3D 世界:Atlas+Three.js+Claude 组合技 — Scobleizer · 2026-11-15
- 21st.dev 聚合 12000+ UI 组件，可直接喂给 AI 编程代理 — ericspo29 · 2026-11-15
- 沙箱资源上限会误伤生产部署?作者称 Bugzilla 等基准可作参照 — jd_pressman · 2026-11-15
- 两条提示词生成纯 Web Components 应用,agent 直接复用 14 项 UI SDK 行为 — evilrabbit_ · 2026-11-15
- 开源 22 章 Agentic AI 系统课程：用 Agent 学 Agent — adnan_hashmi · 2026-11-15