Emscripten编译WASM加载文件时触发内存越界RuntimeError求助

我尝试将本地文件加载至Emscripten提供的MEMFS中，再将文件名作为参数传给经Emscripten交叉编译为WebAssembly的C程序，但调用文件加载函数时出现错误：Uncaught RuntimeError: memory access out of bounds。

我哪里操作有误？是参数传递错误还是文件访问方式不正确？

C程序采用标准main函数，参数传递已验证正常，文件加载相关代码如下（抽象版）：

int CLASS main(int argc, const char **argv)
{
   ...
   FILE *ifp;
   const char *ifname;
   ...
   // Start - debug code
   for (int i = 0; i < argc; i++)
   {
      // ==> 此代码在浏览器控制台能正确打印参数，说明参数传递正常。
      printf("argv[%d] = %s\n", i, argv[i]);
   }
   char cwd[1024];
   if (getcwd(cwd, sizeof(cwd)) != NULL)
   {
       // 也能正确打印MEMFS目录结构。
       printf("Current working directory: %s\n", cwd);
   }
   // End - debug code
   ifname = argv[arg];
   if (!(ifp = fopen(ifname, "rb")))
   {
       perror(ifname);
       continue;
   }
...
}

JavaScript调用代码如下：

async _runProgram(args) {
    // Load the emscripten wrapper
    this._dcrawModule = await Module();

    // Convert the JavaScript array to a C-style null-terminated string array
    const paramStrings = args.map((str) => this._dcrawModule.allocateUTF8(str));
    
    // Allocate memory for the array of pointers
    const paramArray = this._dcrawModule.stackAlloc((paramStrings.length + 1) * 4); 
    paramStrings.forEach((strPtr, i) => {
        this._dcrawModule.setValue(paramArray + i * 4, strPtr, 'i32');
    });
    
    // Null-terminate the array
    this._dcrawModule.setValue(paramArray + paramStrings.length * 4, 0, 'i32');

    // Call the `_main` method with the parameter array
    return this._dcrawModule['_main'](paramStrings.length + 1, paramArray, 0);
}

文件加载至MEMFS的代码如下，之后调用_runProgram函数：

...
// Create a workspace directory in the emscripten virtual file system and go to it
FS.mkdir('/workspace');
FS.chdir('/workspace');

if (raw_file) {
    FS.createDataFile('/workspace/', 'raw_buf', raw_file, true, true);
    args.push('/workspace/raw_buf');
    //args.push('raw_buf'); //Tried also this and other variants, no success.
}
...
this._runProgram(args);

我希望尽量不修改该C程序（非本人编写，避免后续更新需重复适配，且本人C知识有限）。使用emcc编译器的参数如下：

FLAGS = -O0 \
          -s ALLOW_MEMORY_GROWTH=1 \
          -s TOTAL_MEMORY=134217728 \
          -s NO_EXIT_RUNTIME=1 \
          -s FORCE_FILESYSTEM=1 \
          --memory-init-file 0 \
          -s MODULARIZE=1 \
          -s WASM=1 \
          -s EXPORT_ES6=1 \
          -s EXPORTED_FUNCTIONS="['_main']" \
          -s EXPORTED_RUNTIME_METHODS=FS,setValue,stringToUTF8,allocateUTF8,stackAlloc  \
          -DNODEPS=1

问题排查与解决 #

1. 核心触发原因：C代码的参数索引笔误 #

你提供的C代码片段中存在致命错误：

ifname = argv[arg];

这里的arg是未定义的变量，正确的写法应该使用argc（参数总数）来定位目标参数。例如要取最后一个参数，应该写成：

ifname = argv[argc - 1];

未初始化的arg会指向随机内存地址，直接触发内存越界错误。这是导致你报错的主要原因。

2. JavaScript侧的内存生命周期问题 #

你用stackAlloc分配的paramArray属于Emscripten栈内存，栈内存的生命周期仅限于当前调用栈。由于你是异步加载模块后调用_main，栈可能已被其他操作覆盖，导致paramArray指向的内存失效。建议改用malloc分配持久化内存，并在调用结束后手动释放：

async _runProgram(args) {
    this._dcrawModule = await Module();

    const paramStrings = args.map((str) => this._dcrawModule.allocateUTF8(str));
    // 替换stackAlloc为malloc
    const paramArray = this._dcrawModule.malloc((paramStrings.length + 1) * 4); 
    
    paramStrings.forEach((strPtr, i) => {
        this._dcrawModule.setValue(paramArray + i * 4, strPtr, 'i32');
    });
    this._dcrawModule.setValue(paramArray + paramStrings.length * 4, 0, 'i32');

    const result = this._dcrawModule['_main'](paramStrings.length + 1, paramArray, 0);
    
    // 手动释放内存，避免泄漏
    paramStrings.forEach(ptr => this._dcrawModule.free(ptr));
    this._dcrawModule.free(paramArray);
    
    return result;
}

3. 额外优化建议 #

• 简化文件路径：你已经切换到/workspace目录，直接传入raw_buf作为参数即可，无需完整路径，减少路径错误概率。
• 开启调试模式：在emcc编译参数中添加-g，配合浏览器开发者工具的WASM调试功能，可以更精准定位内存问题。

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