如果你想弄明白什么怎样才可以实现JavaScript的原型链污染,那么你首先需要弄清楚两个东西,那就是__proto__
和prototype
。
__proto__
和prototype
?那我们先来看看比较官方的说法吧:
__proto__:是每个对象的隐藏属性,指向创建该对象的构造函数的原型对象(prototype)。它是对象用于继承属性和方法的机制。它是一个对象。所有的对象都可以通过__proto__ 来访问它的原型,进而实现原型链查找。
prototype是函数(特别是构造函数)特有的属性,它用于定义由该构造函数创建的实例共享的属性和方法。prototype通常用来定义构造函数的实例方法。当我们创建一个新对象时,该对象会继承其构造函数 prototype上的属性和方法。
const obj = {};
console.log(obj.__proto__ === Object.prototype); // true
在这个例子中,obj
是通过Object
构造函数创建的,所以obj.__proto__
指向Object.prototype
。
那我们可以这样去理解,prototype是类通有的属性,当类被实例化为对象后,对象会拥有prototype中的属性和方法。当对象想去访问类的原型时用__proto__
属性来访问类的原型。
了解了__proto__
和prototype
之后,那我们就要去深入了解JavaScript的继承链,在JavaScript中,每个对象都有一个指向其原型的内部链接(即__proto__
),这个原型本身也是一个对象,通常还有自己的原型,这样就形成了一条原型链。当你访问一个对象的属性时,JavaScript 会沿着这条原型链逐级查找,直到找到该属性或者原型链的顶端(即Object.prototype)。
function Animal(name) {
this.name = name;
}
function Something() {
this.speak = console.log(this.name + ' makes a beautiful sound.');
};
const dog = new Animal('Dog');
dog.speak; // 输出: 'Dog makes a beautiful sound.'
实例化Animal类创建了dog对象,当访问speak属性时,在dog中寻找不到时,会在dog.__proto__.__proto__
中寻找,发现dog.__proto__.__proto__
中有speak属性,也就是Something.prototype
中存在speak属性。也就是说JavaScript使用prototype链实现继承机制。
那我们学习继承、prototype链不就是为了进行链子污染,然后得到我们想得到的东西吗?
既然dog.__proto__.__proto__
指向创建该对象的构造函数的原型对象(Something.prototype
)。那么我们修改dog.__proto__.__proto__
的内容是不是可以进而实现了修改Something类。
示例:
function Animal(name) {
this.name = name;
}
function Something() {
this.speak = console.log(this.name + ' makes a beautiful sound.');
};
const dog = new Animal('Dog');
dog.__proto__.speak = console.log('修改成功');
dog.speak;
通过这个结果我们可以看出我们轻易的将dog.__proto__.__proto__
的speak值进行了更改。我们先将这个继承链给搞出来:
dog -> Animal.prototype -> Something.prototype -> Object.prototype -> null
那么攻击者如果通过一个入口点,控制并修改了一个对象的原型,那么将可能影响所有和这个对象来自同一个类、父类直到Object类的对象。
典型的便是merge操作导致原型链污染,以下是merge操作:
javascript
function merge(target, source) {
for (let key in source) {
if (key in source && key in target) {
merge(target[key], source[key])
} else {
target[key] = source[key]
}
}
}