ProxyContext 問題記錄及整理

[cyfung1031]

以下只是用來記一下。等一下提PR再關掉這個

1. 好像一定要 .call(this, 。 arrow function 的this也是會被改。不清楚是不是因為用了 with(this) 導致
2. TM也存在以下問題
   先看看 grant unsafeWindow 后 window scope 问题 #273
   即使用上了@sandbox JavaScript
   也是能改掉頁面JS物件

// ==UserScript==
// @name         New Userscript
// @namespace    https://bbs.tampermonkey.net.cn/
// @version      0.1.0
// @description  try to take over the world!
// @author       You
// @match        https://quilljs.com/playground/snow
// @grant        GM_setValue
// @inject-into  content
// @sandbox JavaScript
// ==/UserScript==

(function() {
    console.log(window === unsafeWindow);
    console.log("window", "------", window.Quill)
    // console.log("unsafeWindow", "------", unsafeWindow.Quill)
    // Your code here...


    delete Quill


    console.log(window === unsafeWindow);
    console.log("window", "------", window.Quill)
    // console.log("unsafeWindow", "------", unsafeWindow.Quill)

})();

打印了兩個undefined是沒問題
但頁面Quill 也被刪了

這個跟Violentmonkey不一樣。 Violentmonkey的// @inject-into content真正隔開了page和content
(還是說這個是MV3的userScript API 問題?）

[CodFrm]

关于问题2，试试旧版本的tampermonkey呢？

从设计层面来说，沙盒就是应该要隔离两个环境，现在的做法是正确的

[cyfung1031]

ProxyContext 的真沙盒版已經做好。可是我在想要不要提PR

我發現油猴其實是假沙盒設定？

1. 在有 @grant 的情況下，全域的東西，例如NodeFilter, 其實還是一樣。

// ==UserScript==
// @name         NodeFilter.dd
// @namespace    http://tampermonkey.net/
// @version      2025-07-12
// @description  try to take over the world!
// @author       You
// @match        https://*/*
// @grant        GM_setValue
// ==/UserScript==

(function() {
    'use strict';

    console.log(3323, GM_setValue);

    NodeFilter.dd= 1;
    // Your code here...
})();

這樣改了之後，頁面的 NodeFilter 也是有 dd 屬性 1

---

2. 在有 @grant 的情況下，可以增加全域的東西

// ==UserScript==
// @name         window.oncopy
// @namespace    http://tampermonkey.net/
// @version      2025-07-12
// @description  try to take over the world!
// @author       You
// @match        https://*/*
// @grant        GM_setValue
// ==/UserScript==

(function() {

    myPollutant = function(){console.log("window.oncopy")};
})();

這樣改了之後，頁面會有 window.myPollutant

---

3. 在有 @grant 的情況下，可以刪除全域的東西

// ==UserScript==
// @name         delete Quill
// @namespace    http://tampermonkey.net/
// @version      2025-07-12
// @description  try to take over the world!
// @author       You
// @match        https://quilljs.com/playground/snow
// @grant        GM_setValue
// ==/UserScript==

(function() {

    delete Quill
})();

這樣改了之後，頁面的 window.Quill 就會不見了

[cyfung1031]

从设计层面来说，沙盒就是应该要隔离两个环境，现在的做法是正确的

我看到 chrome.userScripts.RegisteredUserScript 是 world: "MAIN"

ScriptCat 會不會做類似 @inject-into content 把腳本放在真沙盒？
還是MV3 chrome.userScripts API 的限制不能？

[cyfung1031]

打算提交的 world MAIN 的真沙盒：

1. NodeFilter等东西都是副本。不会因为页面改或者脚本环境改动而改
2. 无法新增页面全域变量 （除非使用unsafeWindow)
3. 无法删掉页面全域变量 （除非使用unsafeWindow)
4. 其他功能，与现时一样，没有改变

缺点：
没有定义的变数名，只会显示为 undefined 而不视为错误 (不会throw error)

[CodFrm]

有尝试老版本tm吗？因为我记得这个和tm是一致的

后续会做 @inject-into content 这种真沙盒

在没遇到问题前，不太建议改动

[cyfung1031]

后续会做 @inject-into content 这种真沙盒

期待。

現在提交的PR是以 保持原有行為 和 接近TM行為 為主
放棄了這裡提出的全攔截概念

[CodFrm]

我刚刚又仔细看了这个问题，我重新捋一下，之前#273 处理的是从脚本（沙盒）中访问页面的问题，按理来说delete Quill应该只是操作的沙盒中的Quill，但是实际上SC与TM都没有处理这个问题，昨天的回复我理解有误，这两天没有太使用电脑，都是凭记忆回复的，不好意思（原理可以看后续的内容）

---

关于NodeFilter和RegExp是需要全局使用的（可能还有一些，我没有遇到），所以允许这两个特殊的元素穿透沙盒：

scriptcat/src/app/service/content/utils.ts

Lines 91 to 95 in ec1fcd2

	// 需要用到全局的
	export const unscopables: { [key: string]: boolean } = {
	NodeFilter: true,
	RegExp: true,
	};

---

关于 在有 @grant 的情況下，可以增加全域的東西，是由这块处理的

scriptcat/src/app/service/content/utils.ts

Lines 295 to 310 in ec1fcd2

	getOwnPropertyDescriptor(_, name) {
	try {
	let ret = Object.getOwnPropertyDescriptor(exposedObject, name);
	if (ret) {
	return ret;
	}
	ret = Object.getOwnPropertyDescriptor(context, name);
	if (ret) {
	return ret;
	}
	ret = Object.getOwnPropertyDescriptor(global, name);
	return ret;
	// eslint-disable-next-line @typescript-eslint/no-unused-vars
	} catch (e) {
	return undefined;
	}

只专门处理了global，你可以看下面这个示例，myPollutant穿透到了页面window上，但是onload没有（这个示例中，脚本猫存在问题，delete stop没有生效，这是应该修复的），这是因为 stop 是页面window上存在的，沙盒应该避免影响到页面上的元素，而myPollutant是不存在于页面window上的，没有做特殊处理，至于为什么这么做，我也不清楚，虽然从设计逻辑上应该隔离，但是因为这个问题导致一些脚本不够兼容Tampermonkey，所以我很不建议修改现在的沙盒逻辑，因为你永远不知道原来的bug会不会变成现在的feature

// ==UserScript==
// @name         window.oncopy
// @namespace    http://tampermonkey.net/
// @version      2025-07-12
// @description  try to take over the world!
// @author       You
// @match        https://*/*
// @grant        GM_setValue
// ==/UserScript==

myPollutant = function () { console.log("window.oncopy") };

console.log("set myPollutant", window.myPollutant, unsafeWindow.myPollutant);

stop = function () { console.log("window.oncopy") };

console.log("set stop", window.stop, unsafeWindow.stop);

delete myPollutant;

console.log("delete myPollutant", window.myPollutant, unsafeWindow.myPollutant);

delete stop;

console.log("delete stop", window.stop, unsafeWindow.stop);

[CodFrm]

@inject-into content我理解错了，不好意思，这个属性之前不太了解，我以为是是这个：chrome.userScripts.RegisteredUserScript时world为USER_SCRIPT（content）

我不会去实现这个功能，但是可能会实现类似 @sandbox DOM的功能，https://www.tampermonkey.net/documentation.php#meta:sandbox ，让脚本运行在world=USER_SCRIPT的真沙盒中，另外为了增强脚本功能，会实现一些其它的属性，例如：#486 (comment)

[cyfung1031]

我刚刚又仔细看了这个问题，我重新捋一下，之前#273 处理的是从脚本（沙盒）中访问页面的问题，按理来说delete Quill应该只是操作的沙盒中的Quill，但是实际上SC与TM都没有处理这个问题，昨天的回复我理解有误，这两天没有太使用电脑，都是凭记忆回复的，不好意思（原理可以看后续的内容）

我是提了這個問題。但發現油猴MV3就算是指定 @sandbox DOM 還是放在World裡面，未能防止這個操作。
我覺得現在還好吧。假沙盒也是沒辦法。相容TM就算了

---

关于NodeFilter和RegExp是需要全局使用的（可能还有一些，我没有遇到），所以允许这两个特殊的元素穿透沙盒：

不需要加到 unscopables 吧
這兩個是共用全域的。只是如果 RegExp = null 或是 NodeFilter = null, 腳本裡的沙盒會是null, 實際頁面的是原本的
除非是要改RegExp
改RegExp的話也可以用unsafeWindow.RegExp來改 （當然window.RegExp 也要一起改）

之前 NodeFilter 因為沒有 .prototype 所以會變成copy吧。現在提交的那個 PR 是修了
（ 在有 @grant 的情況下，全域的東西，例如NodeFilter, 其實還是一樣。 上面這個我講錯了。假沙盒是這樣的行為。跟TM一致就好 ）

---

在有 @grant 的情況下，可以增加全域的東西
這個要用全攔截，你引用這段 getOwnPropertyDescriptor 是沒關係的。它是看 Proxy 裡的 has
getOwnPropertyDescriptor 只是用在 Object.getOwnPropertyDescriptor 和 Object.getOwnPropertyDescriptors

---

TM的 @sandbox 好像沒見過人使用。
VM的 @inject-into content 是很常用啦

chrome.userScripts.RegisteredUserScript时world为USER_SCRIPT（content）
是這個意思

@inject-into content的好處是不受頁面那些代碼影響，直接跑原生API，然後操作DOM。有些腳本同時寫成擴充，這樣也比較行為一致。

TM的 @sandbox 搞得奇奇怪怪。又分javascript 跟DOM。 不必搞這個。 （根本沒人用）
TM是閉源。Firemonkey的作者對它理解是 @grant none 就代表 content。但我覺得還是假沙盒吧

---

那個 myPollutant 和 stop 的例子我先研究一下

[cyfung1031]

PR #524 和 TM一致

這就是我所提出的假沙盒。但ScriptCat是要用來跑TM腳本的。所以先這樣吧
等到有 @inject-into content 後就不會有這個問題

[cyfung1031]

記錄用：

// ==UserScript==
// @name         window.oncopy
// @namespace    http://tampermonkey.net/
// @version      2025-07-12
// @description  try to take over the world!
// @author       You
// @match        https://*/*
// @grant        GM_setValue
// ==/UserScript==

myPollutant = function () { console.log("window.oncopy") };

console.log("set myPollutant", window.myPollutant, unsafeWindow.myPollutant);

stop = function () { console.log("window.oncopy") };

console.log("set stop", window.stop, unsafeWindow.stop);

delete myPollutant;

console.log("delete myPollutant", window.myPollutant, unsafeWindow.myPollutant);

delete stop;

console.log("delete stop", window.stop, unsafeWindow.stop);

delete stop;

console.log("delete stop", window.stop, unsafeWindow.stop);

油猴

腳本貓 PR #524