矮人 read-dwarf是使用DWARF调试信息来探索，符号执行和验证从C生成的ELF二进制文件的工具。 它正在进行中，目前尚未准备好供外部使用。 依存关系 建立依赖 有一个不依赖于opam的依赖项： isla-lang 。 转到并安装最新版本。 opam install . 应该在那里工作。 然后，您可以使用opam和opam install . read-dwarf的默认配置opam install . 或仅使用opam install --deps-only .安装其他依赖opam i