支持安全受限运行的编程语言有哪些？其已知安全问题是什么？

以下是除Lua、Tcl之外，行业内常用的支持不可信代码安全执行的方案，各有适用场景和已知风险：

• Python（PyPy沙箱实现）
  安全能力：PyPy提供了独立于CPython的进程级沙箱实现，通过拦截所有系统调用实现对文件、网络等资源的访问控制，支持精细的资源配额限制。
  已知问题：CPython原生的受限执行模块早已废弃，存在大量已知逃逸漏洞，不可使用；PyPy沙箱的性能开销比原生执行高30%~50%，且如果配置时允许加载C扩展，会直接突破沙箱隔离。
• V8 isolates（JavaScript/TypeScript）
  安全能力：V8引擎的isolate机制天然隔离不同代码的执行上下文，默认禁用所有系统资源访问，仅可调用宿主主动暴露的接口，目前被大量Serverless平台、边缘计算场景用作不可信代码执行环境。
  已知问题：V8引擎历史上出现过多次远程代码执行、沙箱逃逸漏洞，需要及时跟进官方补丁；未配置CPU、内存、执行时间限制时，恶意代码可以通过死循环、内存溢出耗尽宿主资源。
• WebAssembly（Wasm）
  安全能力：采用能力安全模型设计，编译后的Wasm字节码默认完全无法访问宿主资源，所有外部交互必须依赖宿主暴露的导入函数，同时支持运行时限制内存大小、执行时长，几乎所有主流编程语言都可以编译到Wasm目标。
  已知问题：早期Wasm运行时存在边界检查绕过、内存逃逸漏洞，近年已大幅减少；宿主侧暴露的导入函数如果存在逻辑漏洞，仍会被恶意代码利用；原生不支持多线程（需启用扩展特性），浮点数运算精度和原生平台存在细微差异。
• Starlark
  安全能力：Python语法子集，设计初衷就是安全执行不可信的第三方配置代码，默认移除了文件访问、网络调用、动态导入等所有危险特性，仅开放白名单内的内置函数。
  已知问题：语法是Python子集，不支持很多高级特性，生态较小，仅适合轻量逻辑、配置类的自定义场景，不适合复杂通用编程需求；性能比原生Python低40%左右。
• Deno
  安全能力：默认采用最小权限原则，运行代码时默认没有文件、网络、环境变量、子进程调用权限，所有权限必须通过启动参数显式授权，支持按路径、域名精细配置权限范围。
  已知问题：历史上出现过多起权限绕过漏洞，需要及时更新版本；权限配置如果粒度太粗（如直接授予全局文件读写权限），会完全丧失安全防护能力。
• BEAM虚拟机（Elixir/Erlang）
  安全能力：原生支持轻量进程隔离，单个进程崩溃不会影响整个节点，可动态限制进程的内存、CPU使用时长，支持裁剪可用内置函数白名单，禁用危险操作。
  已知问题：如果允许用户代码调用NIF（本地实现函数），会直接突破虚拟机隔离，导致节点崩溃或被入侵；沙箱配置复杂度高，容易出现权限漏配。

通用建议 #

无论选择哪种语言级沙箱方案，都不要单独依赖语言层面的防护，建议叠加多层运维侧隔离机制：包括使用非特权用户运行代码进程、通过cgroup限制资源配额、seccomp过滤不必要的系统调用、甚至用容器/虚拟机做更彻底的环境隔离，最大化降低逃逸风险。

内容的提问来源于stack exchange，提问作者guest