Using ChatGPT to profile and eliminate DoS vulnerabilities

jdpressman describes using ChatGPT to build a profiler, manually triage 3,000 risk points, and eliminate an entire class of DoS vulnerabilities, arguing formal verification's real value is shrinking the search space so red teams can target the weakest parts.

2026-11-15 ~ 2026-11-15 · 2 related posts

• Eliminating DoS bugs with ChatGPT: profiling 3,000 code sites and building a resource ledger — jd_pressman · 2026-11-15
• Formal verification's real value: shrinking the search space for red teams — jd_pressman · 2026-11-15