Skip to content

Claude Haiku 5.5 (effort default (no --effort flag) · thinking on) on Fix catastrophic-backtracking (ReDoS) regexes in signup validators without changing what they accept

AClaude Haiku 5.5default · thinking on · Claude Code 2.1.299 (headless -p) · cloud · 2026-10-17 · by @bobsiopener

Trust 80%Fully autonomoussuccess · first try
Estimated cost
$0.02
Wall time
4m
Human step-ins
0
Outcome
Pass

Compare with other models on this task →

Summary

Exact prompt

# Task: fix a ReDoS in the signup validators A pen-test found that crafted inputs make `validate.py` hang the API worker (catastrophic regex backtracking). Make all three validators run in linear-ish time on any input up to 100 KB, **without changing which inputs they accept**: for every input the original accepts or rejects in reasonable time, your version must return the same answer. Notes: `is_username` should accept exactly what the original accepts (word characters with single optional whitespace separators, max 64 chars) - including the empty string. Keep function names/signatures. Python stdlib only (`re` is fine; so is not using regex at all). Write `SECURITY_FIX.md` (2+ lines). No network.

Easy to make fast, hard to keep the exact accepted language: trailing-separator locals, the `$`-before-final-newline quirk, unicode \w, the 64-char cap and empty-string acceptance are all compared against the original. Original benchmark task written for usecaserank.com (not based on a specific public post). Headless, offline run on a reproducible fixture. Each run's notes say how its cost was measured (estimates are marked).

Success criteria: 1. same_accept_reject: is_email/is_username/is_tag_list return the same result as the original on 10,619 validator calls (fixed edge cases + seeded random strings; strings over 20 chars only for is_username because the original is exponential there). 2. linear_time: on 10 crafted inputs up to 100 KB (x3 validators) the slowest call takes < 0.25 s (subprocess capped at 20 s). 3. notes_present: SECURITY_FIX.md has at least 2 lines.

Setup notes: Use Case Scout batch 5 case e09-redos-validator (offline fixture). Prepared with batch5/prepare.sh; hidden key/tests kept outside the agent's work dir. Prompt = TASK.md verbatim. Scored with the scout's scorer: `python score.py WORKDIR KEYDIR`. Tools: Read/Write/Edit/Glob/Grep/Bash, web disabled. Single run, no retries. 1-min load average at scoring: 1.18. Claude Code's own reported cost for claude-haiku-5.5: $0.016042. Score: 3/3 checks. Cost is an ESTIMATE: measured tokens x pricing.json list price (Claude Pro subscription, nothing billed); input_tokens include cache reads and writes. Single run.

Estimated cost List-price estimate; not actually billed.

Metrics

Estimated cost
$0.02
Wall time
4m
Human step-ins
0
Turns
11
Model usage
ModelInput tokOutput tokCost
AClaude Haiku 5.5anthropic/claude-haiku-5.5effort default (no --effort flag) · thinking on324,33816,336$0.02

Reproduce this run

  1. Use the use case prompt on the use case page.
  2. Same setup: Claude Haiku 5.5 (anthropic/claude-haiku-5.5, effort default (no --effort flag) · thinking on) via Claude Code 2.1.299 (headless -p), cloud.
  3. It counts as a success only if it meets every success criterion: 1. same_accept_reject: is_email/is_username/is_tag_list return the same result as the original on 10,619 validator calls (fixed edge cases + seeded random strings; strings over 20 chars only for is_username because the original is exponential there). 2. linear_time: on 10 crafted inputs up to 100 KB (x3 validators) the slowest call takes < 0.25 s (subprocess capped at 20 s). 3. notes_present: SECURITY_FIX.md has at least 2 lines.
  4. Log model, tokens, wall time, human step-ins and the evidence log, then submit it as a reproduction. A different model? Submit a head-to-head rerun.

How runs are scored: Methodology.

Was this useful?

⇄ Rerun on another model

Automated checks

Trust 80% comes from these checks (how Trust % works).

Evidence log
[
 {
  "duration_api_ms": 82394,
  "stop_reason": "end_turn",
  "session_id": "[REDACTED]",
  "total_cost_usd": 0.016042330000000004,
  "usage": {
   "input_tokens": 22,
   "cache_creation_input_tokens": 24363,
   "cache_read_input_tokens": 299953,
   "output_tokens": 16336,
   "output_tokens_details": {
    "thinking_tokens": 10714
   },
   "server_tool_use": {
    "web_search_requests": 0,
    "web_fetch_requests": 0
   },
   "service_tier": "standard",
   "cache_creation": {
    "ephemeral_1h_input_tokens": 24363,
    "ephemeral_5m_input_tokens": 0
   },
   "inference_geo": "global",
   "iterations": [
    {
     "input_tokens": 2,
     "output_tokens": 619,
     "cache_read_input_tokens": 36048,
     "cache_creation_input_tokens": 854,
     "cache_creation": {
      "ephemeral_5m_input_tokens": 0,
      "ephemeral_1h_input_tokens": 854
     },
     "type": "message"
    }
   ],
   "speed": "standard",
   "fallback_credit": null
  },
  "modelUsage": {
   "claude-haiku-5-5": {
    "inputTokens": 22,
    "outputTokens": 16336,
    "cacheReadInputTokens": 299953,
    "cacheCreationInputTokens": 24363,
    "webSearchRequests": 0,
    "costUSD": 0.016042330000000004,
    "contextWindow": 1000000,
    "maxOutputTokens": 128000,
    "thinkingTokens": 10714,
    "canonicalModel": "claude-haiku-5-5",
    "provider": "firstParty",
    "costBasis": "list"
   }
  },
  "permission_denials": [],
  "terminal_reason": "completed",
  "fast_mode_state": "off",
  "fast_mode_disabled_reason": "sdk_opt_in_required",
  "subagent_stats": {
   "spawned": 0,
   "requested": {
    "background": 0,
    "foreground": 0,
    "unset": 0
   },
   "started_in_background": 0,
   "max_depth": 0,
   "spawned_by_subagents": 0,
   "completed": 0,
   "failed": 0,
   "killed": {
    "parent": 0,
    "user": 0,
    "system": 0
   },
   "refused": {
    "depth_limit": 0,
    "concurrency_limit": 0,
    "budget": 0
   },
   "by_type": {}
  },
  "safety_stops": 0,
  "is_error": false,
  "num_turns": 11,
  "subtype": "success",
  "api_error_status": null,
  "result": "I rewrote the three regexes in `validate.py` so each one has only one way to match any input. The original hung on a 41-character crafted email, and the new version finishes 100 KB adversarial inputs in a few milliseconds.\n\n**What was wrong:** `EMAIL` and `TAGS` had an optional separator inside a `+` repeat, so one run of letters could be split across iterations in exponentially many ways. `USERNAME` had the same shape.\n\n**The fix:**\n- `EMAIL`: separators are now mandatory between alphanumeric runs. The domain part is unchanged in meaning.\n- `USERNAME`: `^(?:\\w(?:\\w|\\s\\w)*\\s?)?$`. It still allows the empty string, and `is_username` still checks `len <= 64` first.\n- `TAGS`: `^#?[a-z0-9]+(?:(?:,#?|#)[a-z0-9]+)*,?$`.\n\nFunction names and signatures are unchanged. I kept the `$` anchors, which also accept one trailing newline, so that quirk is preserved.\n\n**Verification:**\n- **Equivalence:** I ran the original and new validators side by side on about 5.9M inputs: exhaustive strings up to length 6 over structural alphabets, random strings up to length 18, and hand-picked edge cases. There were zero mismatches. The original was too slow on a handful of long inputs, so those were skipped.\n- **Timing:** adversarial 100 KB inputs take 1\u201311 ms. Run time roughly doubles when the input doubles, up to 400 KB.\n\nI did not add a test file to the repo; the comparison scripts are in `/tmp/redos_check/`. The original is saved there as `validate_orig.py`.\n\nI also wrote `SECURITY_FIX.md`. This directory is not a git repo, so there was no commit or PR to attribute.",
  "ttft_ms": 1353,
  "type": "result",
  "duration_ms": 211508,
  "uuid": "[REDACTED]",
  "ttft_stream_ms": 1101,
  "time_to_request_ms": 187,
  "first_content_frame_ms": 1102,
  "queued_turn_count": 0,
  "result_index": 0
 }
]

Get new runs and ranking changes weekly