dompurify 3.4.13 → 3.4.15

package/src/purify.ts

@@ -65,6 +65,48 @@ const NODE_TYPE = {
   notation: 12, // Deprecated
 };
 
+/* HTML-namespace elements whose child text nodes are serialized *literally*
+   (unescaped) by the HTML fragment-serialization algorithm. Two reparse-mXSS
+   shapes ride on that literal serialization:
+     (a) an element child - a tree the HTML parser can never build, but the DOM
+         API and an XML/XHTML parse can - after which a `</tag>`-bearing text
+         sibling breaks the element open on reparse; and
+     (b) text-only content that already carries the element's OWN end tag, e.g.
+         `<style>...</style><img onerror=x>` built as a node, which the literal
+         serializer emits verbatim for the HTML parser to re-open.
+   Shape (a) is handled by the firstElementChild branch in _isUnsafeNode; shape
+   (b) by the LITERAL_TEXT_CLOSE probe. Both read textContent (the raw-serialized
+   form for these elements) rather than innerHTML, because an XML/XHTML working
+   document serializes innerHTML with `<` escaped, which silently blinds the
+   innerHTML-based probes (rule 1's second probe and FALLBACK_TAG_CLOSE) there.
+   `script` is never allow-listed, but is kept here so the guard matches the
+   serializer's own literal-text list exactly. */
+const LITERAL_TEXT_ELEMENT_NAMES = [
+  'style',
+  'script',
+  'xmp',
+  'iframe',
+  'noembed',
+  'noframes',
+  'plaintext',
+  'noscript',
+];
+const LITERAL_TEXT_ELEMENTS = freeze(addToSet({}, LITERAL_TEXT_ELEMENT_NAMES));
+
+/* Per-element end-tag matcher. On an HTML reparse the ONLY token that
+   terminates a literal-text element's raw content is its own end tag; a foreign
+   literal-text close (e.g. `</xmp>` sitting inside `<style>`) does not break
+   out, so matching is per-element, not a shared alternation. The lookahead
+   requires an HTML tag-name terminator (whitespace, `/` or `>`) so a longer
+   name such as `</styles` is not mistaken for `</style`. */
+const LITERAL_TEXT_CLOSE = (function (): Record<string, RegExp> {
+  const map: Record<string, RegExp> = {};
+  arrayForEach(LITERAL_TEXT_ELEMENT_NAMES, (name) => {
+    map[name] = seal(new RegExp('</' + name + '(?=[\\t\\n\\f\\r />])', 'i'));
+  });
+  return freeze(map);
+})();
+
 const getGlobal = function (): WindowLike {
   return typeof window === 'undefined' ? null : window;
 };
@@ -163,6 +205,28 @@ const _resolveSetOption = function (
     : fallback;
 };
 
+/**
+ * Resolve an object-valued configuration option: a prototype-free clone
+ * of cfg[key] when it is an own, truthy object property, else a fresh
+ * fallback built by makeFallback (fresh on every parse, so a previous
+ * parse can never leak state into the next one).
+ *
+ * @param cfg the cloned, prototype-free configuration object
+ * @param key the configuration property to read
+ * @param makeFallback builds the fallback value when the option is absent
+ * @returns the resolved object
+ */
+const _resolveObjectOption = function <T extends Record<string, any>>(
+  cfg: Config,
+  key: keyof Config,
+  makeFallback: () => T
+): T {
+  const value = objectHasOwnProperty(cfg, key) ? cfg[key] : undefined;
+  return value && typeof value === 'object'
+    ? clone(value as T)
+    : makeFallback();
+};
+
 function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
   const DOMPurify: DOMPurify = (root: WindowLike) => createDOMPurify(root);
 
@@ -204,6 +268,15 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
 
   const cloneNode = lookupGetter(ElementPrototype, 'cloneNode');
   const remove = lookupGetter(ElementPrototype, 'remove');
+  // Clobber-safe Attr-node removal. On an HTMLFormElement a descendant named
+  // "removeAttributeNode" shadows the prototype method via
+  // [LegacyOverrideBuiltIns], so element.removeAttributeNode(attr) throws.
+  // Calling the cached Element.prototype method with the element as the
+  // receiver removes the exact live Attr node regardless of the shadowing.
+  const removeAttributeNode = lookupGetter(
+    ElementPrototype,
+    'removeAttributeNode'
+  );
   const getNextSibling = lookupGetter(ElementPrototype, 'nextSibling');
   const getChildNodes = lookupGetter(ElementPrototype, 'childNodes');
   const getParentNode = lookupGetter(ElementPrototype, 'parentNode');
@@ -218,6 +291,18 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
       ? lookupGetter(Node.prototype, 'ownerDocument')
       : null;
 
+  /* Clobber-safe nodeType / nodeName reads through the cached Node.prototype
+     getters, with a direct-property fallback for environments that lack
+     Node.prototype. Sites that need a different fallback (e.g. _isClobbered
+     returns early on a null name) intentionally keep their own reads. */
+  const _readNodeType = function (node: Node): number {
+    return getNodeType ? getNodeType(node) : (node as any).nodeType;
+  };
+
+  const _readNodeName = function (node: Node): string {
+    return getNodeName ? getNodeName(node) : (node as any).nodeName;
+  };
+
   // As per issue #47, the web-components registry is inherited by a
   // new document created via createHTMLDocument. As per the spec
   // (http://w3c.github.io/webcomponents/spec/custom/#creating-and-passing-registries)
@@ -728,26 +813,23 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
     NAMESPACE =
       typeof cfg.NAMESPACE === 'string' ? cfg.NAMESPACE : HTML_NAMESPACE; // Default HTML namespace
 
-    MATHML_TEXT_INTEGRATION_POINTS =
-      objectHasOwnProperty(cfg, 'MATHML_TEXT_INTEGRATION_POINTS') &&
-      cfg.MATHML_TEXT_INTEGRATION_POINTS &&
-      typeof cfg.MATHML_TEXT_INTEGRATION_POINTS === 'object'
-        ? clone(cfg.MATHML_TEXT_INTEGRATION_POINTS)
-        : addToSet({}, DEFAULT_MATHML_TEXT_INTEGRATION_POINTS); // Default built-in map
-
-    HTML_INTEGRATION_POINTS =
-      objectHasOwnProperty(cfg, 'HTML_INTEGRATION_POINTS') &&
-      cfg.HTML_INTEGRATION_POINTS &&
-      typeof cfg.HTML_INTEGRATION_POINTS === 'object'
-        ? clone(cfg.HTML_INTEGRATION_POINTS)
-        : addToSet({}, DEFAULT_HTML_INTEGRATION_POINTS); // Default built-in map
-
-    const customElementHandling =
-      objectHasOwnProperty(cfg, 'CUSTOM_ELEMENT_HANDLING') &&
-      cfg.CUSTOM_ELEMENT_HANDLING &&
-      typeof cfg.CUSTOM_ELEMENT_HANDLING === 'object'
-        ? clone(cfg.CUSTOM_ELEMENT_HANDLING)
-        : create(null);
+    MATHML_TEXT_INTEGRATION_POINTS = _resolveObjectOption(
+      cfg,
+      'MATHML_TEXT_INTEGRATION_POINTS',
+      () => addToSet({}, DEFAULT_MATHML_TEXT_INTEGRATION_POINTS) // Default built-in map
+    );
+
+    HTML_INTEGRATION_POINTS = _resolveObjectOption(
+      cfg,
+      'HTML_INTEGRATION_POINTS',
+      () => addToSet({}, DEFAULT_HTML_INTEGRATION_POINTS) // Default built-in map
+    );
+
+    const customElementHandling = _resolveObjectOption(
+      cfg,
+      'CUSTOM_ELEMENT_HANDLING',
+      () => create(null)
+    );
 
     CUSTOM_ELEMENT_HANDLING = create(null);
 
@@ -845,24 +927,6 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
       }
     }
 
-    if (
-      objectHasOwnProperty(cfg, 'ADD_URI_SAFE_ATTR') &&
-      arrayIsArray(cfg.ADD_URI_SAFE_ATTR)
-    ) {
-      addToSet(URI_SAFE_ATTRIBUTES, cfg.ADD_URI_SAFE_ATTR, transformCaseFunc);
-    }
-
-    if (
-      objectHasOwnProperty(cfg, 'FORBID_CONTENTS') &&
-      arrayIsArray(cfg.FORBID_CONTENTS)
-    ) {
-      if (FORBID_CONTENTS === DEFAULT_FORBID_CONTENTS) {
-        FORBID_CONTENTS = clone(FORBID_CONTENTS);
-      }
-
-      addToSet(FORBID_CONTENTS, cfg.FORBID_CONTENTS, transformCaseFunc);
-    }
-
     if (
       objectHasOwnProperty(cfg, 'ADD_FORBID_CONTENTS') &&
       arrayIsArray(cfg.ADD_FORBID_CONTENTS)
@@ -1175,6 +1239,37 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
     }
   };
 
+  /**
+   * _stripAttributeNode
+   *
+   * Remove a single Attr node case/namespace-exactly on an attribute-teardown
+   * path. Name-based removeAttribute() ASCII-lowercases its lookup key for an
+   * HTML element in an HTML document and so silently misses a case-preserved
+   * handler (e.g. `ONERROR` off an XML/XHTML import) - the same defect
+   * _removeAttribute() was fixed for, which a name-based call would reintroduce
+   * on these IN_PLACE teardown paths. Unlike _removeAttribute this does not
+   * record into DOMPurify.removed: the neutralize passes intentionally do not
+   * book-keep. A clobbered/detached node falls back to best-effort name-based
+   * removal.
+   *
+   * @param element the element to strip the attribute from
+   * @param attribute the Attr node to remove
+   * @param name the attribute's name, for the fallback path
+   */
+  const _stripAttributeNode = function (
+    element: Element,
+    attribute: Attr,
+    name: string
+  ): void {
+    try {
+      removeAttributeNode(element, attribute);
+    } catch (_) {
+      try {
+        element.removeAttribute(name);
+      } catch (_) {}
+    }
+  };
+
   /**
    * _neutralizeRoot
    *
@@ -1221,11 +1316,7 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
         const attribute = attributes[i];
         const name = attribute && attribute.name;
         if (typeof name === 'string') {
-          try {
-            (root as Element).removeAttribute(name);
-          } catch (_) {
-            /* Clobbered removeAttribute — ignore (fail-closed best effort) */
-          }
+          _stripAttributeNode(root as Element, attribute, name);
         }
       }
     }
@@ -1234,24 +1325,58 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
   /**
    * _removeAttribute
    *
+   * Name-based getAttributeNode()/removeAttribute() ASCII-lowercase their
+   * lookup key for HTML elements in an HTML document, so they silently miss an
+   * attribute whose stored qualified name still contains uppercase ASCII
+   * letters. That happens when the node came from a case-preserving source
+   * (an XML/XHTML document imported via importNode(), or createAttributeNS()),
+   * where e.g. `ONERROR` survives the walk: the policy check lowercases to
+   * `onerror` and rejects it, but `removeAttribute('ONERROR')` looks up
+   * `onerror` and finds nothing. Remove the exact Attr node instead, which is
+   * case- and namespace-exact, and fall back to name-based removal only when
+   * the caller could not supply the node.
+   *
    * @param name an Attribute name
    * @param element a DOM node
+   * @param attr the exact Attr node to remove, when the caller has it
    */
-  const _removeAttribute = function (name: string, element: Element): void {
+  const _removeAttribute = function (
+    name: string,
+    element: Element,
+    attr?: Attr | null
+  ): void {
+    if (!attr) {
+      try {
+        attr = element.getAttributeNode(name);
+      } catch (_) {
+        attr = null;
+      }
+    }
+
+    arrayPush(DOMPurify.removed, {
+      attribute: attr || null,
+      from: element,
+    });
+
     try {
-      arrayPush(DOMPurify.removed, {
-        attribute: element.getAttributeNode(name),
-        from: element,
-      });
+      if (attr) {
+        removeAttributeNode(element, attr);
+      } else {
+        element.removeAttribute(name);
+      }
     } catch (_) {
-      arrayPush(DOMPurify.removed, {
-        attribute: null,
-        from: element,
-      });
+      /* Clobbered or already-detached node - best-effort fall back to a
+         name-based removal so the "is" handling below still runs. Note this
+         fallback ASCII-lowercases its lookup key in an HTML document and so
+         cannot reach a case-preserved attribute name; the cached
+         removeAttributeNode() above is what removes those, and a clobbered
+         form is already removed wholesale by _isClobbered() before reaching
+         here. */
+      try {
+        element.removeAttribute(name);
+      } catch (_) {}
     }
 
-    element.removeAttribute(name);
-
     // We void attribute values for unremovable "is" attributes
     if (name === 'is') {
       if (RETURN_DOM || RETURN_DOM_FRAGMENT) {
@@ -1289,11 +1414,7 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
         continue;
       }
 
-      try {
-        element.removeAttribute(name);
-      } catch (_) {
-        /* Clobbered removeAttribute on a doomed node — ignore */
-      }
+      _stripAttributeNode(element, attribute, name);
     }
   };
 
@@ -1324,7 +1445,7 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
 
     while (stack.length > 0) {
       const node = stack.pop();
-      const nodeType = getNodeType ? getNodeType(node) : (node as any).nodeType;
+      const nodeType = _readNodeType(node);
 
       if (nodeType === NODE_TYPE.element) {
         _stripDisallowedAttributes(node as Element);
@@ -1374,6 +1495,32 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
    *
    * @param root the in-place root to sweep
    */
+  /**
+   * Central policy for declarative-partial-updates patch-linkage attributes,
+   * shared by the _neutralizePatchLinkage pre-pass and _isValidAttribute so
+   * the two sites cannot drift: `patchsrc` always links, `for` links
+   * everywhere except on <label>/<output>, and the whole policy is gated on
+   * SAFE_FOR_XML (see the rationale block in _isValidAttribute).
+   *
+   * @param lcName the transformCaseFunc'd attribute name
+   * @param lcTag the transformCaseFunc'd tag name of the carrying element
+   * @return true if the attribute is patch linkage and must be dropped
+   */
+  const _isPatchLinkageAttribute = function (
+    lcName: string,
+    lcTag: string
+  ): boolean {
+    if (!SAFE_FOR_XML) {
+      return false;
+    }
+
+    if (lcName === 'patchsrc') {
+      return true;
+    }
+
+    return lcName === 'for' && lcTag !== 'label' && lcTag !== 'output';
+  };
+
   const _neutralizePatchLinkage = function (root: Node): void {
     if (!SAFE_FOR_XML) {
       return;
@@ -1382,7 +1529,7 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
     const stack: Node[] = [root];
     while (stack.length > 0) {
       const node = stack.pop();
-      const nodeType = getNodeType ? getNodeType(node) : (node as any).nodeType;
+      const nodeType = _readNodeType(node);
 
       /* Remove range markers (the target side of a patch linkage): every
          processing instruction, and any markup-bearing comment. */
@@ -1403,9 +1550,7 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
       /* Strip patch-source attributes (the source side) off elements. */
       if (nodeType === NODE_TYPE.element) {
         const element = node as Element;
-        const lcTag = transformCaseFunc(
-          getNodeName ? getNodeName(node) : (node as any).nodeName
-        );
+        const lcTag = transformCaseFunc(_readNodeName(node));
         try {
           if (element.hasAttribute && element.hasAttribute('patchsrc')) {
             element.removeAttribute('patchsrc');
@@ -1414,8 +1559,7 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
           if (
             element.hasAttribute &&
             element.hasAttribute('for') &&
-            lcTag !== 'label' &&
-            lcTag !== 'output'
+            _isPatchLinkageAttribute('for', lcTag)
           ) {
             element.removeAttribute('for');
           }
@@ -1642,6 +1786,17 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
       // canonical NamedNodeMap.
       element.attributes !== getAttributes(element) ||
       typeof element.removeAttribute !== 'function' ||
+      // A form descendant named "removeAttributeNode" or "getAttributeNode"
+      // shadows these Attr-node methods via [LegacyOverrideBuiltIns].
+      // _removeAttribute() / _stripAttributeNode() reach for
+      // element.removeAttributeNode(attr) first; when it is shadowed the call
+      // throws and the name-based fallback element.removeAttribute(name)
+      // ASCII-lowercases its lookup key in an HTML document, silently missing
+      // a case-preserved event-handler attribute (e.g. an ONANIMATIONSTART
+      // that reached the sanitizer through an XML/XHTML parse). Flag the form
+      // so it is removed wholesale, exactly as for the other shadowed methods.
+      typeof element.removeAttributeNode !== 'function' ||
+      typeof element.getAttributeNode !== 'function' ||
       typeof element.setAttribute !== 'function' ||
       typeof element.namespaceURI !== 'string' ||
       typeof element.insertBefore !== 'function' ||
@@ -1751,12 +1906,22 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
       return true;
     }
 
-    /* Remove risky CSS construction leading to mXSS */
+    /* Remove rawtext/literal-text elements whose literal serialization
+       re-opens markup on an HTML reparse - shapes (a) and (b) documented at
+       LITERAL_TEXT_ELEMENTS. Both are invisible to rule 1 above (which
+       self-disables once there is an element child, and whose second probe
+       reads the innerHTML an XML/XHTML document serializes escaped), which
+       is why both probes here read textContent instead. Previously only
+       `style`-with-element-child was covered; every element in
+       LITERAL_TEXT_ELEMENTS shares this literal serialization and is
+       equally affected. */
     if (
       SAFE_FOR_XML &&
       currentNode.namespaceURI === HTML_NAMESPACE &&
-      tagName === 'style' &&
-      _isNode(currentNode.firstElementChild)
+      LITERAL_TEXT_ELEMENTS[tagName] &&
+      (_isNode(currentNode.firstElementChild) ||
+        (typeof currentNode.textContent === 'string' &&
+          regExpTest(LITERAL_TEXT_CLOSE[tagName], currentNode.textContent)))
     ) {
       return true;
     }
@@ -1778,6 +1943,34 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
     return false;
   };
 
+  /**
+   * Evaluate a CUSTOM_ELEMENT_HANDLING check (a RegExp or a predicate
+   * function, per the validation in _parseConfig) against a name.
+   * Additional arguments are forwarded to predicate functions - the
+   * attributeNameCheck predicate receives the tag name as its second
+   * argument. A null/absent check never matches.
+   *
+   * @param check the configured tagNameCheck / attributeNameCheck value
+   * @param name the name to test
+   * @param args extra arguments forwarded to a predicate function
+   * @return true if the check matches the name
+   */
+  const _matchesNameCheck = function (
+    check: unknown,
+    name: string,
+    ...args: unknown[]
+  ): boolean {
+    if (check instanceof RegExp) {
+      return regExpTest(check, name);
+    }
+
+    if (check instanceof Function) {
+      return Boolean(check(name, ...args));
+    }
+
+    return false;
+  };
+
   /**
    * Handle a node whose tag is forbidden or not allowlisted: keep
    * allowed custom elements (false return exits _sanitizeElements
@@ -1801,20 +1994,12 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
     root: Node
   ): boolean {
     /* Check if we have a custom element to handle */
-    if (!FORBID_TAGS[tagName] && _isBasicCustomElement(tagName)) {
-      if (
-        CUSTOM_ELEMENT_HANDLING.tagNameCheck instanceof RegExp &&
-        regExpTest(CUSTOM_ELEMENT_HANDLING.tagNameCheck, tagName)
-      ) {
-        return false;
-      }
-
-      if (
-        CUSTOM_ELEMENT_HANDLING.tagNameCheck instanceof Function &&
-        CUSTOM_ELEMENT_HANDLING.tagNameCheck(tagName)
-      ) {
-        return false;
-      }
+    if (
+      !FORBID_TAGS[tagName] &&
+      _isBasicCustomElement(tagName) &&
+      _matchesNameCheck(CUSTOM_ELEMENT_HANDLING.tagNameCheck, tagName)
+    ) {
+      return false;
     }
 
     /* Keep content except for bad-listed elements.
@@ -1893,6 +2078,52 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
     return set === defaultSet || set === setConfigSet ? clone(set) : set;
   };
 
+  /**
+   * Shared guard for a node that a hook has detached from the walk tree,
+   * used after each element-hook site in _sanitizeElements. Detaching is a
+   * long-standing user pattern (issue #469; draw.io-style foreignObject
+   * filtering). Per the cached, unclobberable parentNode getter the node is
+   * genuinely out of the tree, so it can reach neither the serialized
+   * output nor an IN_PLACE live tree; treat it as removed and stop
+   * processing it. Without this guard, the unsafe-node / namespace checks
+   * would call _forceRemove on a parentless node and hit the REPORT-3
+   * fail-closed throw — which exists for nodes DOMPurify wants gone but
+   * *cannot* detach (clobbered / parentless roots), the opposite of a node
+   * that is already safely gone. The walk root is exempt: a detached
+   * IN_PLACE root is legitimate input and must still be fully sanitized,
+   * and a kill-decision on it must keep hitting the REPORT-3 throw.
+   *
+   * Nodes detached by hooks stay the hook's responsibility for placement:
+   * they are not recorded in DOMPurify.removed, so the post-walk IN_PLACE
+   * pass (which iterates DOMPurify.removed) does not reach them. But a
+   * hook-detached subtree can still hold a queued resource-event handler -
+   * e.g. an <img onload> that began loading when the caller built the live
+   * tree - which fires in page scope after sanitize returns even though the
+   * handler never reached the returned tree. That is the audit-5 F1 hazard,
+   * and the documented node.remove() hook pattern walks straight into it.
+   * So on the IN_PLACE path we neutralize the detached subtree inline,
+   * stripping its non-allow-listed attributes before returning, exactly as
+   * the post-walk pass does for _forceRemove'd subtrees.
+   *
+   * @param currentNode the node a hook may have detached
+   * @param root the current walk root
+   * @return true if the node is detached and now handled, false otherwise
+   */
+  const _handleHookDetachedNode = function (
+    currentNode: Node,
+    root: Node
+  ): boolean {
+    if (currentNode === root || getParentNode(currentNode) !== null) {
+      return false;
+    }
+
+    if (IN_PLACE) {
+      _neutralizeSubtree(currentNode);
+    }
+
+    return true;
+  };
+
   /**
    * _sanitizeElements
    *
@@ -1902,20 +2133,13 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
    * @param currentNode to check for permission to exist
    * @return true if node was killed, false if left alive
    */
-  // eslint-disable-next-line complexity
   const _sanitizeElements = function (currentNode: any, root: Node): boolean {
     /* Execute a hook if present */
     _executeHooks(hooks.beforeSanitizeElements, currentNode, null);
 
-    /* A hook may have detached the node - treat it as removed (see the
-       detached-node comment after the uponSanitizeElement hook below). On
-       the IN_PLACE path, neutralize the detached subtree first so a queued
-       resource handler on it cannot fire in page scope after we return. */
-    if (currentNode !== root && getParentNode(currentNode) === null) {
-      if (IN_PLACE) {
-        _neutralizeSubtree(currentNode);
-      }
-
+    /* A hook may have detached the node - treat it as removed (see
+       _handleHookDetachedNode for the full rationale). */
+    if (_handleHookDetachedNode(currentNode, root)) {
       return true;
     }
 
@@ -1926,9 +2150,7 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
     }
 
     /* Now let's check the element's type and name */
-    const tagName = transformCaseFunc(
-      getNodeName ? getNodeName(currentNode) : currentNode.nodeName
-    );
+    const tagName = transformCaseFunc(_readNodeName(currentNode));
 
     /* Close the pre-walk clone-guard's timing gap: an uponSanitizeElement
        hook may have been installed after that guard sampled the hook arrays
@@ -1948,35 +2170,9 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
       allowedTags: ALLOWED_TAGS,
     });
 
-    /* A hook may have detached the node from the tree — a long-standing
-       user pattern (issue #469; draw.io-style foreignObject filtering).
-       Per the cached, unclobberable parentNode getter the node is
-       genuinely out of the tree, so it can reach neither the serialized
-       output nor an IN_PLACE live tree; treat it as removed and stop
-       processing it. Without this guard, the unsafe-node / namespace
-       checks below would call _forceRemove on a parentless node and hit
-       the REPORT-3 fail-closed throw — which exists for nodes DOMPurify
-       wants gone but *cannot* detach (clobbered / parentless roots), the
-       opposite of a node that is already safely gone. The walk root is
-       exempt: a detached IN_PLACE root is legitimate input and must still
-       be fully sanitized, and a kill-decision on it must keep hitting the
-       REPORT-3 throw. Nodes detached by hooks stay the hook's
-       responsibility for placement: they are not recorded in
-       DOMPurify.removed, so the post-walk IN_PLACE pass (which iterates
-       DOMPurify.removed) does not reach them. But a hook-detached subtree
-       can still hold a queued resource-event handler - e.g. an <img onload>
-       that began loading when the caller built the live tree - which fires
-       in page scope after sanitize returns even though the handler never
-       reached the returned tree. That is the audit-5 F1 hazard, and the
-       documented node.remove() hook pattern walks straight into it. So on
-       the IN_PLACE path we neutralize the detached subtree inline here,
-       stripping its non-allow-listed attributes before returning, exactly
-       as the post-walk pass does for _forceRemove'd subtrees. */
-    if (currentNode !== root && getParentNode(currentNode) === null) {
-      if (IN_PLACE) {
-        _neutralizeSubtree(currentNode);
-      }
-
+    /* The uponSanitizeElement hook may have detached the node, exactly as
+       above (see _handleHookDetachedNode for the full rationale). */
+    if (_handleHookDetachedNode(currentNode, root)) {
       return true;
     }
 
@@ -2021,7 +2217,7 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
        bound and short-circuits to false for any node minted in a different
        realm — letting a foreign-realm element with a forbidden namespace
        slip past the namespace check entirely. */
-    const nt = getNodeType ? getNodeType(currentNode) : currentNode.nodeType;
+    const nt = _readNodeType(currentNode);
     if (nt === NODE_TYPE.element && !_checkValidNamespace(currentNode)) {
       _forceRemove(currentNode);
       return true;
@@ -2097,16 +2293,7 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
        other structural-threat checks and stays overridable, consistent with
        the rest of the codebase. PI range markers are already removed by
        _isUnsafeNode. */
-    if (SAFE_FOR_XML && lcName === 'patchsrc') {
-      return false;
-    }
-
-    if (
-      SAFE_FOR_XML &&
-      lcName === 'for' &&
-      lcTag !== 'label' &&
-      lcTag !== 'output'
-    ) {
+    if (_isPatchLinkageAttribute(lcName, lcTag)) {
       return false;
     }
 
@@ -2129,73 +2316,76 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
         XML-compatible (https://html.spec.whatwg.org/multipage/infrastructure.html#xml-compatible and http://www.w3.org/TR/xml/#d0e804)
         We don't need to check the value; it's always URI safe. */
     if (ALLOW_DATA_ATTR && regExpTest(DATA_ATTR, lcName)) {
-      // This attribute is safe
-    } else if (ALLOW_ARIA_ATTR && regExpTest(ARIA_ATTR, lcName)) {
-      // This attribute is safe
-      /* Otherwise, check the name is permitted */
-    } else if (!nameIsPermitted) {
-      if (
-        // First condition does a very basic check if a) it's basically a valid custom element tagname AND
-        // b) if the tagName passes whatever the user has configured for CUSTOM_ELEMENT_HANDLING.tagNameCheck
-        // and c) if the attribute name passes whatever the user has configured for CUSTOM_ELEMENT_HANDLING.attributeNameCheck
+      return true;
+    }
+
+    /* Allow valid aria-* attributes, the value is always URI safe */
+    if (ALLOW_ARIA_ATTR && regExpTest(ARIA_ATTR, lcName)) {
+      return true;
+    }
+
+    /* A name outside the allowlist is acceptable on custom-element terms
+       only. The value checks below are intentionally skipped in that case:
+       if the user supplied a tagNameCheck we also allow derived custom
+       elements using the same test, and attributes passing the configured
+       attributeNameCheck are allowed as custom elements define these at
+       their own discretion. */
+    if (!nameIsPermitted) {
+      return (
+        // Condition a) covers a basically valid custom element tag name whose
+        // tag passes the configured tagNameCheck and whose attribute name
+        // passes the configured attributeNameCheck ...
         (_isBasicCustomElement(lcTag) &&
-          ((CUSTOM_ELEMENT_HANDLING.tagNameCheck instanceof RegExp &&
-            regExpTest(CUSTOM_ELEMENT_HANDLING.tagNameCheck, lcTag)) ||
-            (CUSTOM_ELEMENT_HANDLING.tagNameCheck instanceof Function &&
-              CUSTOM_ELEMENT_HANDLING.tagNameCheck(lcTag))) &&
-          ((CUSTOM_ELEMENT_HANDLING.attributeNameCheck instanceof RegExp &&
-            regExpTest(CUSTOM_ELEMENT_HANDLING.attributeNameCheck, lcName)) ||
-            (CUSTOM_ELEMENT_HANDLING.attributeNameCheck instanceof Function &&
-              CUSTOM_ELEMENT_HANDLING.attributeNameCheck(lcName, lcTag)))) ||
-        // Alternative, second condition checks if it's an `is`-attribute, AND
-        // the value passes whatever the user has configured for CUSTOM_ELEMENT_HANDLING.tagNameCheck
+          _matchesNameCheck(CUSTOM_ELEMENT_HANDLING.tagNameCheck, lcTag) &&
+          _matchesNameCheck(
+            CUSTOM_ELEMENT_HANDLING.attributeNameCheck,
+            lcName,
+            lcTag
+          )) ||
+        // Condition b) covers an `is` attribute whose value passes the
+        // configured tagNameCheck while customized built-in elements are
+        // allowed.
         (lcName === 'is' &&
           CUSTOM_ELEMENT_HANDLING.allowCustomizedBuiltInElements &&
-          ((CUSTOM_ELEMENT_HANDLING.tagNameCheck instanceof RegExp &&
-            regExpTest(CUSTOM_ELEMENT_HANDLING.tagNameCheck, value)) ||
-            (CUSTOM_ELEMENT_HANDLING.tagNameCheck instanceof Function &&
-              CUSTOM_ELEMENT_HANDLING.tagNameCheck(value))))
-      ) {
-        // If user has supplied a regexp or function in CUSTOM_ELEMENT_HANDLING.tagNameCheck, we need to also allow derived custom elements using the same tagName test.
-        // Additionally, we need to allow attributes passing the CUSTOM_ELEMENT_HANDLING.attributeNameCheck user has configured, as custom elements can define these at their own discretion.
-      } else {
-        return false;
-      }
-      /* Check value is safe. First, is attr inert? If so, is safe */
-    } else if (URI_SAFE_ATTRIBUTES[lcName]) {
-      // This attribute is safe
-      /* Check no script, data or unknown possibly unsafe URI
+          _matchesNameCheck(CUSTOM_ELEMENT_HANDLING.tagNameCheck, value))
+      );
+    }
+
+    /* Check value is safe. First, is attr inert? If so, is safe */
+    if (URI_SAFE_ATTRIBUTES[lcName]) {
+      return true;
+    }
+
+    /* Check no script, data or unknown possibly unsafe URI
         unless we know URI values are safe for that attribute */
-    } else if (
-      regExpTest(IS_ALLOWED_URI, stringReplace(value, ATTR_WHITESPACE, ''))
-    ) {
-      // This attribute is safe
-      /* Keep image data URIs alive if src/xlink:href is allowed */
-      /* Further prevent gadget XSS for dynamically built script tags */
-    } else if (
+    if (regExpTest(IS_ALLOWED_URI, stringReplace(value, ATTR_WHITESPACE, ''))) {
+      return true;
+    }
+
+    /* Keep image data URIs alive if src/xlink:href is allowed */
+    /* Further prevent gadget XSS for dynamically built script tags */
+    if (
       (lcName === 'src' || lcName === 'xlink:href' || lcName === 'href') &&
       lcTag !== 'script' &&
       stringIndexOf(value, 'data:') === 0 &&
       DATA_URI_TAGS[lcTag]
     ) {
-      // This attribute is safe
-      /* Allow unknown protocols: This provides support for links that
+      return true;
+    }
+
+    /* Allow unknown protocols: This provides support for links that
         are handled by protocol handlers which may be unknown ahead of
         time, e.g. fb:, spotify: */
-    } else if (
+    if (
       ALLOW_UNKNOWN_PROTOCOLS &&
       !regExpTest(IS_SCRIPT_OR_DATA, stringReplace(value, ATTR_WHITESPACE, ''))
     ) {
-      // This attribute is safe
-      /* Check for binary attributes */
-    } else if (value) {
-      return false;
-    } else {
-      // Binary attributes are safe at this point
-      /* Anything else, presume unsafe, do not add it back */
+      return true;
     }
 
-    return true;
+    /* Only an empty (binary) value remains safe at this point;
+       anything else is presumed unsafe, do not add it back */
+    return !value;
   };
 
   /* Names the HTML spec reserves from valid-custom-element-name; these must
@@ -2272,22 +2462,32 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
   /**
    * Write a modified attribute value back onto the element. On
    * success, re-probe for clobbering introduced by the new value and
-   * remove the element when found; otherwise pop the removal entry
-   * recorded by the earlier _removeAttribute (long-standing pairing
-   * with the SANITIZE_NAMED_PROPS path - do not "fix" casually). On
+   * remove the element when found; otherwise, when this writeback is the
+   * recreate half of the SANITIZE_NAMED_PROPS remove-and-recreate, pop the
+   * removal entry that path recorded so it does not show as removed. On
    * failure, remove the attribute instead.
    *
+   * Returns true only on a clean write (the value was set and the new value
+   * introduced no clobbering). The caller uses that, together with its own
+   * knowledge of whether this attribute pushed a DOMPurify.removed record, to
+   * decide whether to pop that record. The pop must happen ONLY for the
+   * named-prop remove-and-recreate; popping on any other value change (trim,
+   * template scrubbing, Trusted Types) would consume an unrelated _forceRemove
+   * subtree-cleanup record and let that detached subtree keep a live event
+   * handler through the IN_PLACE neutralization pass (SO-001).
+   *
    * @param currentNode the element carrying the attribute
    * @param name the attribute name as present on the element
    * @param namespaceURI the attribute's namespace, if any
    * @param value the new attribute value
+   * @return true if the value was written without introducing clobbering
    */
   const _setAttributeValue = function (
     currentNode: Element,
     name: string,
     namespaceURI: string | null,
     value: string
-  ): void {
+  ): boolean {
     try {
       if (namespaceURI) {
         currentNode.setAttributeNS(namespaceURI, name, value);
@@ -2298,11 +2498,13 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
 
       if (_isClobbered(currentNode)) {
         _forceRemove(currentNode);
-      } else {
-        arrayPop(DOMPurify.removed);
+        return false;
       }
+
+      return true;
     } catch (_) {
       _removeAttribute(name, currentNode);
+      return false;
     }
   };
 
@@ -2316,6 +2518,7 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
    *
    * @param currentNode to sanitize
    */
+  // eslint-disable-next-line complexity
   const _sanitizeAttributes = function (currentNode: Element): void {
     /* Execute a hook if present */
     _executeHooks(hooks.beforeSanitizeAttributes, currentNode, null);
@@ -2355,6 +2558,16 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
       const initValue = attrValue;
       let value = name === 'value' ? initValue : stringTrim(initValue);
 
+      /* Tracks whether this specific attribute pushed a DOMPurify.removed
+         record that a later _setAttributeValue() writeback is expected to pop
+         back off (the SANITIZE_NAMED_PROPS remove-and-recreate below is the
+         only path that does). A value that merely changed via trim, template
+         scrubbing, or Trusted Types pushes no such record, so its writeback
+         must NOT pop — otherwise it consumes an unrelated _forceRemove subtree
+         record and that detached subtree escapes the IN_PLACE handler-
+         neutralization pass (SO-001). */
+      let recreatedNamedProp = false;
+
       /* Execute a hook if present */
       hookEvent.attrName = lcName;
       hookEvent.attrValue = value;
@@ -2372,9 +2585,12 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
         stringIndexOf(value, SANITIZE_NAMED_PROPS_PREFIX) !== 0
       ) {
         // Remove the attribute with this value
-        _removeAttribute(name, currentNode);
+        _removeAttribute(name, currentNode, attr);
         // Prefix the value and later re-create the attribute with the sanitized value
         value = SANITIZE_NAMED_PROPS_PREFIX + value;
+        // This attribute owns the record just pushed; its recreate writeback
+        // is the one allowed to pop it back off.
+        recreatedNamedProp = true;
       }
       // Else: already prefixed, leave the attribute alone — the prefix is
       // itself the clobbering protection, and re-applying it is incorrect.
@@ -2387,13 +2603,13 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
           value
         )
       ) {
-        _removeAttribute(name, currentNode);
+        _removeAttribute(name, currentNode, attr);
         continue;
       }
 
       /* Make sure we cannot easily use animated hrefs, even if animations are allowed */
       if (lcName === 'attributename' && stringMatch(value, 'href')) {
-        _removeAttribute(name, currentNode);
+        _removeAttribute(name, currentNode, attr);
         continue;
       }
 
@@ -2404,7 +2620,7 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
 
       /* Did the hooks approve of the attribute? */
       if (!hookEvent.keepAttr) {
-        _removeAttribute(name, currentNode);
+        _removeAttribute(name, currentNode, attr);
         continue;
       }
 
@@ -2413,7 +2629,7 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
         !ALLOW_SELF_CLOSE_IN_ATTR &&
         regExpTest(EXPRESSIONS.SELF_CLOSING_TAG, value)
       ) {
-        _removeAttribute(name, currentNode);
+        _removeAttribute(name, currentNode, attr);
         continue;
       }
 
@@ -2424,7 +2640,7 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
 
       /* Is `value` valid for this attribute? */
       if (!_isValidAttribute(lcTag, lcName, value)) {
-        _removeAttribute(name, currentNode);
+        _removeAttribute(name, currentNode, attr);
         continue;
       }
 
@@ -2433,7 +2649,20 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
 
       /* Handle invalid data-* attribute set by try-catching it */
       if (value !== initValue) {
-        _setAttributeValue(currentNode, name, namespaceURI, value);
+        const cleanWrite = _setAttributeValue(
+          currentNode,
+          name,
+          namespaceURI,
+          value
+        );
+
+        /* Only the named-prop remove-and-recreate owns a DOMPurify.removed
+           record to pop; a plain trim/template/Trusted-Types writeback owns
+           none, so popping here would drop an unrelated subtree's cleanup
+           record (SO-001). */
+        if (cleanWrite && recreatedNamedProp) {
+          arrayPop(DOMPurify.removed);
+        }
       }
     }
 
@@ -2481,10 +2710,7 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
          Walk it explicitly. The nodeType guard avoids reading
          shadowRoot off text / comment / CDATA / PI nodes that the
          iterator also surfaces. */
-      const shadowNodeType = getNodeType
-        ? getNodeType(shadowNode)
-        : shadowNode.nodeType;
-      if (shadowNodeType === NODE_TYPE.element) {
+      if (_readNodeType(shadowNode) === NODE_TYPE.element) {
         const innerSr = getShadowRoot(shadowNode);
         if (_isDocumentFragment(innerSr)) {
           _sanitizeAttachedShadowRoots(innerSr);
@@ -2546,7 +2772,7 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
       }
 
       const node = item.node;
-      const nodeType = getNodeType ? getNodeType(node) : (node as any).nodeType;
+      const nodeType = _readNodeType(node);
       const isElement = nodeType === NODE_TYPE.element;
 
       /* (pushed last → processed first) Children, snapshotted in reverse so
@@ -2675,9 +2901,7 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
          child named "nodeName" on the form root would otherwise shadow
          the property and let this check skip the root-allowlist
          validation entirely. */
-      const nn = getNodeName
-        ? getNodeName(dirty as Node)
-        : (dirty as Node).nodeName;
+      const nn = _readNodeName(dirty as Node);
       if (typeof nn === 'string') {
         const tagName = transformCaseFunc(nn);
         if (!ALLOWED_TAGS[tagName] || FORBID_TAGS[tagName]) {
@@ -2746,8 +2970,16 @@ function createDOMPurify(window: WindowLike = getGlobal()): DOMPurify {
          them before the main iterator runs, since the iterator does not
          descend into shadow trees. The walk routes every read through a
          cached prototype getter so clobbering descendants on a form root
-         cannot hide a shadow host from this pass. */
-      _sanitizeAttachedShadowRoots(importedNode);
+         cannot hide a shadow host from this pass.
+
+         Traverse from `body`, not `importedNode`: when importedNode is a
+         DocumentFragment, the appendChild() above moves its children into
+         `body` and leaves the fragment empty, so walking importedNode would
+         scan nothing and miss every attached shadow host now under `body`
+         (SO-003). In the BODY/HTML branches `body === importedNode`, so this
+         is equivalent there; in the element branch `body` contains the
+         appended element and its descendants. `body` covers all three. */
+      _sanitizeAttachedShadowRoots(body);
     } else {
       /* Exit directly if we have nothing to do */
       if (