AST静态分析可安全识别并替换非原子化DOM操作：遍历CallExpression匹配危险模式，依语义判定是否合并，生成带sourcemap的等效代码，跳过动态代码与第三方库调用。
直接用 AST 静态分析识别并替换非原子化 DOM 操作，比正则或字符串替换更安全、可验证、不破坏原有逻辑结构。关键不是“全换成 innerHTML”，而是按语义判断是否可合并、是否需保留中间状态、是否涉及用户输入——这些都必须在 AST 层面推导。
定位非原子化 DOM 操作节点
遍历所有 CallExpression 节点，重点匹配常见危险模式：
-
element.appendChild()、element.insertBefore()、element.removeChild()连续调用（同一父节点下出现 ≥2 次） -
element.innerHTML = ...后紧跟element.querySelector()或事件绑定（说明存在竞态读取） -
document.write()、document.writeln()（直接禁用，无条件替换） - 对同一元素反复设置
textContent+style+className（未封装为单次更新）
判断是否可安全合并为原子操作
不能一刀切替换成 innerHTML，需结合上下文做语义判定：
- 若连续 append 的节点均来自字面量或静态模板（如
t.span({children: 'ok'})），且无运行时分支，则可聚合成一个DocumentFragment或单次innerHTML插入 - 若某次操作依赖前一次的 DOM 状态（例如：先 append A，再用
A.getBoundingClientRect()计算位置，再 append B），则不可合并，应封装为带生命周期钩子的组件逻辑 - 若插入内容含用户输入（如
el.innerHTML = userInput），必须拦截并强制走textContent或createTextNode()，禁止降级为 innerHTML
生成安全等效代码
替换时不拼字符串，而用 AST 节点构造：
- 用
@babel/types创建t.callExpression(t.identifier('renderAtomic'), [fragmentArg])替代多行 append - 对
innerHTML = x赋值，若 x 是纯文本变量，自动转为textContent = x；若 x 是模板字符串且不含用户数据，可转为innerHTML = sanitizeTemplate(x)（注入预定义 sanitizer 调用） - 保留原节点注释与 sourcemap 位置：调用
path.node.leadingComments和path.node.loc迁移元信息，避免调试断点偏移
规避常见陷阱
静态分析无法覆盖的部分必须显式跳过或告警：
- 含
eval()、with或Function constructor的作用域，禁止任何 DOM 操作重构（动态代码可能绕过 AST 判断） - 第三方库调用（如
jQuery.append()、Vue.set()）需白名单校验，未注册的库调用打标为UNSAFE_DOM_USAGE并生成人工复核报告 - 跳过测试文件（
**/*.test.js）、构建产物（dist/）、node_modules目录，防止误改
