矮人 read-dwarf是使用DWARF调试信息来探索,符号执行和验证从C生成的ELF二进制文件的工具。 它正在进行中,目前尚未准备好供外部使用。 依存关系 建立依赖 有一个不依赖于opam的依赖项: isla-lang 。 转到并安装最新版本。 opam install . 应该在那里工作。 然后,您可以使用opam和opam install . read-dwarf的默认配置opam install . 或仅使用opam install --deps-only .安装其他依赖opam install --deps-only . 然后按照自述文件的其余部分进行操作。 运行时依赖 您需要或多或少的最新版本z3 ,如果系统软件包管理器中没有该版本,则可以使用opam install z3 。 您还需要安装isla 。 对于非~/.cargo/bin用户的警告:您需要在路径中添加~/.c