【野路子】脚本沙盒：安全执行第三方 Lua 代码

什么时候需要沙盒

让玩家的 Lua 脚本在你服务器上跑、加载策划写的活动脚本、执行热更补丁包——这些场景的共同点是：代码不完全可信，但业务又必须执行它。直接 load 后执行等于把整个引擎交给对方：os.execute、io 库、甚至一个死循环就能把进程拖死。沙盒的目标是"让不可信代码能干活，但只能在你画的圈里干活"。

第一层：环境白名单

Lua 5.1 用 setfenv、5.3+ 用 _ENV，原理相同——给不可信代码换一个阉割过的全局环境。做法是构造一个白名单表，只放你认为安全的函数，找不到的再透传到只读的真全局：

local safe = {
    pairs = pairs, ipairs = ipairs,
    table = table, string = string,
    math = { floor = math.floor, abs = math.abs },
    print = release_print,
}
setmetatable(safe, { __index = function(_, k)
    error("沙盒禁止访问: " .. tostring(k), 2)
end })

local f = load(untrustedCode, "patch", "t", safe)   -- 5.4：第四参数即 _ENV
if f then f() end

白名单的取舍原则：字符串、数学库基本安全；io、os 只保留必要的封装（比如只允许写指定目录的日志）；load、require、debug 一律禁——它们是逃逸沙盒的三条暗道（load 能再造环境，debug.getupvalue 能摸到外面的真全局）。

第二层：资源限额

环境白名单挡住"干坏事"，限额挡住"意外干爆"。两个必备限额：执行时间——用 debug.sethook 设计数钩子，每 100 万条指令检查一次已用时间，超时就 error 掉整个脚本；内存配额——定时对比 collectgarbage("count")，增量超限同样终止。没有这两个限额，一个策划手误的死循环就能让整个 M2 停摆，比恶意代码更常见。

local budget = 5e7   -- 指令预算
debug.sethook(function()
    budget = budget - 1e6
    if budget <= 0 then error("沙盒脚本执行超时", 2) end
end, "", 1e6)
-- ... 执行不可信代码 ...
debug.sethook()

第三层：结果校验与隔离

沙盒脚本的产出要当输入对待：它生成的表、注册的回调、请求的接口调用，全部过一遍业务校验再采纳。执行环境用临时 table 隔离，跑完整体丢弃，不在主环境里留任何痕迹。

工程上的经验是：沙盒能力越强，白名单越难维护。把"允许第三方脚本做的事"收敛成十几个明确的 API（发公告、改数值、查数据），比开放一个缩水的完整标准库安全得多——沙盒设计的最高境界，是让不可信代码根本接触不到危险能力，而不是拦截它。