Skip to content

fix(js): cap PBKDF2 iterations and output length to prevent runtime DoS - #587

Open
mnaza wants to merge 1 commit into
h4ckf0r0day:mainfrom
mnaza:fix/js-pbkdf2-cap-iterations-580
Open

fix(js): cap PBKDF2 iterations and output length to prevent runtime DoS#587
mnaza wants to merge 1 commit into
h4ckf0r0day:mainfrom
mnaza:fix/js-pbkdf2-cap-iterations-580

Conversation

@mnaza

@mnaza mnaza commented Aug 8, 2026

Copy link
Copy Markdown
Contributor

crypto.subtle.deriveBits/deriveKey for PBKDF2 passed the iteration count and output length from page JS straight into op_subtle_pbkdf2 unbounded. On the single-threaded shared runtime, iterations=4294967295 pins the V8 isolate for hours (blocking every other CDP command) and a huge length forces an unbounded allocation. Split into a testable pbkdf2_derive helper that rejects iteration counts above 10,000,000 and output over 1 MiB — both far above legitimate use (OWASP ~600k; keys are tens of bytes).

TDD: RED showed the capless helper returned a 1 MiB+ derived key; GREEN rejects it in microseconds.

Closes #580

markjacksoncerberus added a commit to markjacksoncerberus/obscura that referenced this pull request Aug 14, 2026
… COULD NOT NAVIGATE TO A FRAGMENT (location.hash had only a getter, pushState was a stub, window.open returned null, a dispatched click on <a href> navigated NOTHING, fonts.load resolved before the font arrived, and blur/focus fired UNTRUSTED) — Quests h4ckf0r0day#580h4ckf0r0day#589 (ten quests, focus realm 208 -> 267/275, 0 regressions over 331 ritual rows)

h4ckf0r0day#583 Same-document navigation exists: location.hash (+ the writable Location
     partials), fragment navigation with :target sync (a[name] included in the
     Rust selector), hashchange/popstate on a task, viewport-fallback unfocus
     for a real target only; history.pushState/replaceState with clone and
     same-origin checks; Node.moveBefore; a dispatched trusted click follows
     hyperlinks through the shared _followHyperlink.
h4ckf0r0day#584 The sequential focus navigation starting point is a POSITION: flat-tree
     anchor chains captured at focus time survive removals, moved parents,
     slots and shadow hosts; clicks/blur/fixup/fragment set it; it outranks
     the focused element; backward navigation never lands ON a container it
     sits inside. sequential-focus-navigation-starting-point 0/20 -> 20/20.
h4ckf0r0day#585 Autofocus is a QUEUE in temporal insertion order with a fragment-target
     gate and per-top-context settling; frame documents focus their host
     iframe chain (frame nodes' ownerDocument lies — routing walks the tree).
h4ckf0r0day#586 The focus fixup rule, fully: fieldset-disabled with the first-legend
     escape, visibility from live inline declarations, style-write and
     insertion triggers, end-of-update-the-rendering timing. 1/8 -> 8/8.
h4ckf0r0day#587 blur/focus/focusin/focusout dispatch TRUSTED as real FocusEvents with
     relatedTarget; focus({focusVisible}) overrides the modality heuristic;
     hasFocus() is false without a browsing context.
h4ckf0r0day#588 window.open opens a WINDOW: a popup is a second top-level browsing
     context built from the frame machinery without a host element; its
     scripts run, load fires there, and focus never climbs into the opener.
h4ckf0r0day#582 document.fonts.load()/.ready actually wait: a render-side resource pump
     op folds landed bytes and reports in-flight fetches; geometry re-ships
     once settled.
h4ckf0r0day#580/h4ckf0r0day#581/h4ckf0r0day#589 (fork) empty <li> gets its marker's line box; marker layouts
     rebuild when a webfont arrives; ::before{display:list-item} generates a
     marker. marker-hit-testing 1/20 -> 7/20, marker-computed-size 3/8 -> 4/8.

The region diff caught two real regressions and both were closed in-session:
sandboxed and cross-origin frames' autofocus focused the iframe — the old code
had no frame autofocus at all, so nothing had ever needed the gates. A new
capability inherits every restriction the old incapacity was accidentally
enforcing.

Zero regressions: 331-row ritual pre/post diff (wpt_batch_par.sh, 4 shards);
the one flagged row is the documented flaky img file, re-proven 201/167/210 on
the same binary.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
crypto.subtle.deriveBits/deriveKey for PBKDF2 passed the iteration count
and output length from page JS straight into op_subtle_pbkdf2 with no
bound. Because the JS runtime is single-threaded and shared across the
CDP connection, a page calling deriveBits with iterations=4294967295
pins the V8 isolate for hours and blocks every other command; a huge
requested length forces an unbounded vec![0u8; length] allocation.

Split the derivation into a testable pbkdf2_derive helper that rejects
iteration counts above 10_000_000 and output lengths above 1 MiB — both
far above any legitimate use (OWASP recommends ~600k iterations; derived
keys are tens of bytes) — with an OperationError before doing the work.

Closes h4ckf0r0day#580
@mnaza
mnaza force-pushed the fix/js-pbkdf2-cap-iterations-580 branch from 2a5cb2e to cfda91b Compare August 15, 2026 16:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

fix(js): crypto.subtle PBKDF2 accepts unbounded iterations/length → runtime DoS

1 participant