原型链污染是JavaScript语言机制与工程实践冲突引发的系统性风险，源于Object.prototype被恶意修改后导致所有对象继承危险属性或方法，进而引发全局行为失控、XSS、RCE等严重后果。
原型链污染不是代码写错的问题，而是 JavaScript 语言机制与工程实践碰撞出的系统性风险。它的威胁不在于单次赋值，而在于一次污染能穿透整个运行时环境——所有基于 Object 创建的对象，无论是否显式声明，都会继承被篡改的属性或方法。
为什么原型链污染会引发全局行为失控
JavaScript 查找属性时遵循“自身 → __proto__ → __proto__.__proto__ → … → null”的链式路径。一旦攻击者让某个对象的 __proto__ 或 constructor.prototype 被写入恶意键值（如 {"isAdmin": true}），该属性就自动注入到 Object.prototype 中。此后任何新创建的空对象 {}、数组 []、甚至 JSON.parse 返回的结果，都会携带这个属性。
更危险的是，许多框架和库依赖 obj.toString、obj.valueOf、obj.constructor 等原生方法做类型判断或序列化。若这些方法被覆盖（例如 toString: () => "malicious"），就可能触发非预期执行流，为后续 XSS、权限绕过甚至 RCE 埋下伏笔。
企业级应用中最易被利用的污染入口点
真实生产环境中，污染往往不来自手写 obj.__proto__ = ...，而是通过看似安全的数据操作间接触发：
立即学习“Java免费学习笔记（深入）”；
- JSON 解析后直接合并进配置对象：用户提交
{"__proto__": {"logLevel": "debug", "authBypass": true}}，后端用_.merge(defaultConfig, userInput)处理 - URL 查询参数解析为嵌套对象：如
?filter[__proto__][isAdmin]=true经过 query-string 库转成对象再参与路由鉴权 - 前端表单序列化 + 后端深赋值：表单字段名含
user[constructor][prototype][isTrusted]，服务端用递归set(obj, path, value)写入 - 第三方 SDK 初始化传参：埋点 SDK 接收用户传入的
options对象，并内部调用defaultsDeep({}, options)
从运行时到构建期的纵深防御体系
单一过滤或升级无法根治问题，需分层设防：
-
输入层强制清洗：所有外部输入（JSON、query、body、headers）在解析后立即移除
__proto__、constructor、prototype及其大小写变体（如__PROTO__、Constructor），不依赖正则模糊匹配，而用精确键名黑名单 -
数据操作层替换高危函数：禁用
lodash.merge、lodash.defaultsDeep、deep-extend等已知存在缺陷的工具；浅拷贝优先用Object.assign({}, input)；深拷贝在支持环境下用structuredClone(input)，不支持时使用白名单递归函数 -
运行时加固：启动时执行
Object.freeze(Object.prototype)和Object.freeze(Function.prototype)，阻断原型修改（注意 Node.js v14+ 与浏览器兼容性）；Node.js 进程启用--disable-proto=throw参数，使__proto__访问直接抛错 -
构建与依赖治理：CI 流程中集成
npm audit --audit-level high和专用原型污染扫描器（如npm-check-updates+ 自定义规则）；锁定 lodash ≥ 4.17.21、hoek ≥ 5.0.3 等修复版本；对间接依赖做 SBOM（软件物料清单）分析，识别隐藏的 merge 类函数调用链
检测与响应不能只靠日志告警
原型污染本身无网络请求、无异常堆栈、不产生错误日志，传统 WAF 和 APM 很难捕获。有效监测需结合：
- 在关键对象创建路径（如 Express 的
req.body解析后、配置加载完成时）插入快照比对，检查Object.prototype是否新增非标准属性 - 利用 V8 的
Object.getOwnPropertyNames(Object.prototype)定期巡检，对比基线列表（仅保留toString、valueOf等原生方法） - 在 CI/CD 流水线中对源码做 AST 扫描，标记所有
for...in遍历 source 对象且未跳过原型键的递归赋值逻辑
真正的防护能力，不取决于某一行代码是否加了校验，而在于整条数据流是否被默认视为不可信，以及每个环节是否都有明确的“信任边界”声明。
