Zig WASI 与组件模型：沙箱运行时与宿主嵌入
WASI 给 WebAssembly 补上了系统调用接口，组件模型又在其上定义了强类型、可组合的接口。本文讲清 wasm32-wasi 与 freestanding 的差别、preview1 的能力模型与 preopens、preview2 的 WIT 与 Canonical ABI，并演示在 Zig 宿主里嵌入 wasmtime 与做资源限制。
tag
沙箱
共 10 篇文章。
构建沙箱与可复现性：Nix 如何隔离构建过程
Nix 的构建沙箱不是可选装饰，而是「输入确定」得以成立的前提：它给构建脚本一个干净的挂载视图、清空的环境变量、独立的构建用户与默认断开的网络。本文拆开沙箱的三种模式与内部结构，讲清环境变量如何被清洗、网络隔离与固定输出例外、如何检测构建是否纯净，以及容器与 CI 里沙箱失效的原因与修法。
表达式语言与运行时
拆解低代码平台的表达式语言与运行时：词法语法与 AST 节点设计、求值器与作用域链、依赖静态提取与响应式更新、类型检查与错误提示、沙箱求值的白名单边界、与 JS 沙箱方案的取舍，以及编译缓存与表达式版本演化，给出可运行的解析器与求值器实现，回答如何让表达式既好用又不失控。
插件机制与扩展体系
拆解低代码平台的插件与扩展体系：扩展点的类型划分、插件清单与生命周期、插件 API 契约与版本策略、沙箱与安全边界、自定义组件与数据源连接器与服务端插件三类插件的实现、分发与依赖管理、以及插件的治理与审核，给出可运行的插件清单与注册代码，回答如何让平台既能被无限扩展又不被插件拖垮。
MCP 代码执行工具与沙箱：解释器类工具的设计、隔离与审计
MCP 代码执行工具与沙箱实践：代码解释器类工具的接口设计、容器与 gVisor、WASM 等隔离方案选型、CPU 内存磁盘与超时限制、网络与文件系统隔离、输出捕获与截断、会话状态管理以及安全边界与审计。
用 WASM 设计插件系统：宿主 ABI、版本兼容与热加载
系统讲解如何用 WebAssembly 设计生产级插件系统：宿主与插件的 ABI 设计、内存所有权约定、接口版本协商与兼容策略、资源限制与燃料计量、热加载与状态迁移、插件间隔离通信、能力授权、可观测性与故障隔离，并给出典型实现对比与落地路线图。
MCP 文件系统工具：安全边界、路径隔离与流式处理
MCP 文件系统工具的安全实践：访问根目录白名单、路径隔离与防穿越、读写权限边界、大文件流式处理、文本与二进制处理、临时文件生命周期与沙箱，帮助 LLM 安全操作文件。
WASI 文件系统与沙箱：preopened 目录、能力模型与路径逃逸防护
系统覆盖 WASI（WebAssembly System Interface）文件系统的安全模型：能力（capability）授权的设计哲学（默认无权限、显式授予）、preopened directories 如何把宿主目录暴露给 WASM 模块（wasmtime --dir / WasiCtx preopen）、fd 文件描述符模型与 path_open 的能力链、权限标志（read/write/append/create/truncate/directory）、基于能力的路径解析（禁止绝对路径/.. 逃逸、符号链接防护）、虚拟根文件系统的映射、与操作系统沙箱（chroot/容器）的对比、多租户隔离下的文件沙箱实践，以及路径逃逸与权限配置的常见陷阱和排查方法，帮助读者把 WASI 沙箱从「听说过」变成「能正确配置」。
WASM 安全模型与沙箱：内存隔离、能力授权与运行时加固
系统剖析 WebAssembly 安全模型：沙箱如何成立、线性内存边界与空指针/越界防护、能力模型与 WASI 权限授权、沙箱逃逸攻击面、供应链代码来源验证、Wasmtime/Wasmer/边缘运行时加固、多租户隔离策略，以及与容器/V8 isolate 的沙箱对比，最后给出生产环境的 WASM 安全配置清单。
Lua 环境与沙箱机制：_ENV 与安全隔离详解
详解 Lua 的全局环境与 _ENV 机制：如何通过自定义环境实现沙箱隔离、安全地执行不可信代码、控制可用函数白名单，以及游戏插件系统中的环境隔离实践。