Frida无法及时Hook动态加载库，首次调用报错二次才识别

问题分析 #

你遇到的核心问题是：首次触发Interceptor.attach的onEnter回调时，目标动态库还未完成加载，导致Process.enumerateModules().filter(...)返回的数组为空，取[0]自然会得到undefined，进而报错。第二次触发时库已加载，所以能正常获取基地址。

关于Process.enumerateModules结合filter的方案评价 #

这种方案不是最优解，原因有两点：

• 性能问题：每次回调都遍历所有已加载模块，频繁调用会带来不必要的性能开销；
• 可靠性问题：无法精准把控模块加载时机，完全依赖回调触发时模块是否已加载，存在随机性。

可行替代方案 #

1. 监听模块加载事件（推荐） #

利用Frida的Module.load事件监听目标模块的加载，一旦模块加载完成就记录基地址，后续回调直接使用该地址，无需每次枚举模块：

let targetModuleBase = null;

// 监听模块加载事件
Module.events.listen('load', (module) => {
  if (module.name.includes("binaryname")) {
    targetModuleBase = module.base;
    console.log(`目标模块已加载，基地址：${targetModuleBase}`);
  }
});

// 后续Interceptor.attach的onEnter回调中直接使用targetModuleBase
Interceptor.attach(targetFunction, {
  onEnter(args) {
    if (!targetModuleBase) {
      console.log("目标模块尚未加载，跳过本次回调");
      return;
    }
    // 这里使用targetModuleBase进行后续操作
  }
});

这种方式能精准捕获模块加载时机，避免重复枚举模块，性能和可靠性都更优。

2. 回调内增加存在性判断 #

如果暂时不想改架构，可以在回调内先判断过滤后的数组是否为空，避免报错：

Interceptor.attach(targetFunction, {
  onEnter(args) {
    const matchedModules = Process.enumerateModules().filter(ex => ex.name.includes("binaryname"));
    if (matchedModules.length === 0) {
      console.log("目标模块未找到，跳过本次处理");
      return;
    }
    const binarybase = matchedModules[0].base;
    // 后续操作
  }
});

这种方式只是避免了报错，但依然存在每次枚举模块的性能问题，适合临时调试场景。

3. 通过内存特征定位模块 #

如果模块名称变化但内存中有固定特征（比如特定的函数签名、字符串常量），可以扫描内存找到模块基地址：

function findModuleBySignature(signature) {
  const ranges = Process.enumerateRanges('r--'); // 只读内存段，通常存放代码或常量
  for (const range of ranges) {
    try {
      const matches = Instruction.parseAll(range.base, range.size).filter(ins => ins.toString().includes(signature));
      if (matches.length > 0) {
        return Process.getModuleByAddress(matches[0].address).base;
      }
    } catch (e) {
      // 跳过无权限的内存段
      continue;
    }
  }
  return null;
}

// 使用示例
const targetModuleBase = findModuleBySignature("mov r0, #0x123");

这种方式适合模块名称完全无规律的场景，但扫描内存会有一定性能开销，建议只在模块加载完成后调用一次。

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