用 ChatGPT 系统排查 DoS 漏洞并反思形式验证价值

jdpressman 分享了用 ChatGPT 系统性消除 Web 服务器 DoS 漏洞的实战流程：先让 ChatGPT 编写 profiler 扫描请求路径上的攻击面，再手工分类约 3000 处风险点，从而根除一类漏洞。他随后补充观点称，形式验证的真正价值不在于一次性写出完美软件，而在于缩小搜索空间，让红队能直接攻击最脆弱、最暴露的部分。

2026-11-15 ~ 2026-11-15 · 2 条相关