flawopen.com/プロトタイプ汚染/JSON.parse()

JSON.parse() はプロトタイプ汚染を起こしますか？

// JSON.parseはデータを作るだけで、プロトタイプを汚染しない。
const input = '{"__proto__":{"isAdmin":true}}';
const parsed = JSON.parse(input);

// Object.assignは対象へのSetを使う。ここでは
// このローカルな例示オブジェクトのプロトタイプだけが変わる。
const copied = Object.assign({}, parsed);

Object.getPrototypeOf(copied).isAdmin; // true
Object.prototype.isAdmin;              // undefined

// 解析後、アプリが許可するフィールドだけを構築する。
const input = '{"theme":"dark","locale":"en","__proto__":{"isAdmin":true}}';
const parsed = JSON.parse(input);
const config = {
  theme:  parsed.theme,
  locale: parsed.locale,
};

// 信頼できないキーの辞書では継承setterを避ける。
const options = Object.assign(Object.create(null), parsed);

JSON.parse()が汚染の発生源ではない理由

JSONのキーとオブジェクトリテラルのプロトタイプsetterは別の操作です。JSON解析は新しい値に自分自身のプロパティを定義し、obj.__proto__ = valueを実行しません。後続操作は異なる動作をします。Object.assign(target, source)は対象へ代入するため、自分自身のキー__proto__が対象の継承setterを呼ぶことがあります。これは対象オブジェクトのプロトタイプを変えますが、それだけでObject.prototypeを変更するわけではありません。

const o = JSON.parse('{"__proto__":{"a":1}}')の後、Object.hasOwn(o, "__proto__")はtrueで、Object.prototype.aは未定義のままです。後続のコピーで通常の対象にこのキーを代入すると、対象のプロトタイプが変わる場合があります。オブジェクトのspreadはsetterを呼ばず自分自身のプロパティを作りますが、危険な再帰的マージやパス書き込みへの防御にはなりません。

実際のリスクが生じる場所

解析済みJSONは信頼できないデータであり、汚染されたプロトタイプではありません。リスクは後続の書き込み箇所によって決まります。再帰的マージ、パスsetter、通常オブジェクトへ代入するコピー処理などです。脆弱な再帰的マージは__proto__やconstructor.prototypeをたどり共有プロトタイプに到達することがあります。一段階のコピーでは対象だけが変わる場合もあります。影響を述べる前に実際の関数と対象を追跡してください。

JSONの解析箇所だけでなく、信頼できないキーを書き込む箇所を調べます。深いマージ、オブジェクトパスsetter、代入を行うfor...inループが対象です。ユーザー制御のキーでは__proto__、constructor、prototypeを拒否し、検証済みの既知形式で再構築するか、プロトタイプを持たない辞書を使います。

よくある質問

参考資料

• MDN — JavaScriptのプロトタイプ汚染
• MDN — JSON.parse()
• OWASP — プロトタイプ汚染の防止
• CWE-1321 — オブジェクトのプロトタイプ属性の不適切な変更
• プロトタイプ汚染とは？
• Object.assign()はプロトタイプ汚染に対して安全ですか？
• JSON.parse()はeval()より安全ですか？