使用 REA 追踪 macOS 动态库路径

macOS 程序的依赖可能写成 @rpath/libanswer.dylib，而不是一个固定路径。排查加载失败时，要同时看依赖名和加载进程提供的搜索路径。otool -L 能列出依赖名；REA 的 trace-dylib-resolution 会静态整理依赖图，并标出在所选目标范围内检查过的候选路径。

本文在 Apple silicon Mac 上使用 Node 26.12.1 实测 REA 6.8.0，样本是为本文单独编译的小程序。下面只检查文件，没有启动该程序；实际应用还会受到架构、目录布局和运行环境影响。

REA 6.8.0 要求 Node 22.x 不低于 22.23.4、Node 24.x 不低于 24.22.1，或者 Node 26.12.1 及更高版本。安装前可用 node --version 检查。

1. 构造一个简单样本

在新的工作目录中创建动态库和可执行文件：

mkdir -p sample/lib missing
printf 'int answer(void) { return 42; }\n' > sample/lib/answer.c
printf 'extern int answer(void); int main(void) { return answer() == 42 ? 0 : 1; }\n' > sample/main.c
clang -dynamiclib sample/lib/answer.c \
  -Wl,-install_name,@rpath/libanswer.dylib -o sample/lib/libanswer.dylib
clang sample/main.c -Lsample/lib -lanswer \
  -Wl,-rpath,@executable_path/lib -o sample/demo
cp sample/demo missing/demo

两个可执行文件的字节相同。sample/lib/ 包含动态库；missing 目录刻意不放动态库。两个目录都是本次测试新建的，我们没有从现有应用里删除文件。

2. 查看加载命令

otool -L sample/demo
otool -l sample/demo

本次 otool -L 列出了 @rpath/libanswer.dylib 和 /usr/lib/libSystem.B.dylib。较长的 otool -l 输出中，LC_RPATH 的值为 @executable_path/lib。因此，第一条依赖有一个相对于可执行文件的候选路径；光看到候选路径，还不能证明文件存在。

3. 追踪完整副本

rea trace-dylib-resolution sample/demo --format json

在 arm64 根节点的结果中，demo 指向 @rpath/libanswer.dylib。候选路径是 lib/libanswer.dylib，来自根节点的 @executable_path/lib rpath；结果为 resolved，install_name_matches 为 true。系统库 /usr/lib/libSystem.B.dylib 则显示候选为 outside-target，解析状态为 undetermined。

这不表示系统库缺失。该检查不会评估分析根目录之外的绝对路径，包括通常由 dyld 共享缓存提供的系统库。coverage: complete 只描述声明范围内的图分析完成，不能把未确定的系统依赖当作已成功加载。

4. 与缺少动态库的副本比较

rea trace-dylib-resolution missing/demo --format json

两次调用中，可执行文件的 SHA-256 相同。第二个目录里，候选 lib/libanswer.dylib 的状态为 absent，依赖解析为 unresolved，REA 给出 required-load-unresolved。这说明所提供的根目录缺少必需库；它不是一次应用启动的记录，也不能保证真实运行时目录外的因素不会影响加载。

读结果时注意什么

沿着每条 edge 查看 loader、install_name、rpath 所有者、候选路径和结果。@executable_path 指向进程的可执行文件位置；@loader_path 则相对于声明依赖的那个 image。应用包或多架构文件可能包含多个根节点和切片，注意核对结果所属的根节点与架构；--architecture 可选择切片。

找到文件也不等于启动成功。REA 不评估代码签名和 library validation、所有依赖环境的回退路径，也不比较动态库兼容版本。惰性依赖会解析但不会继续遍历。真实应用仍然报错时，可以用静态图确定下一步，再分别检查签名、打包和运行环境。

下一步

需要先在应用包中定位可执行文件时，参见 macOS 应用结构。
使用通用二进制指南检查架构切片。