analyzer

goblint

可以在阅读文档或github上浏览文档。

安装

两者都是使用最新版本的Goblint或开发它，最好的方法是通过克隆此存储库来从源安装。要进行基准测试，请遵循阅读文档的基准指南。

Linux

1. 安装OPAM。
2. 确保已安装以下内容： git ， patch ， m4 ， autoconf ， libgmp-dev ， libmpfr-dev和pkg-config 。
3. 运行make setup以通过OPAM安装OCAML和依赖关系。
4. 运行make构建goblint本身。
5. 运行make install以通过开关的PATH安装在OPAM开关中安装goblint。
6. 可选：请参阅scripts/bash-completion.sh ，以设置goblint参数的bash完成。

macos

1. 使用brew install gcc grep （首先运行xcode-select --install如果您不想从源构建它）。 Goblint需要GCC，而MacOS的默认cpp是Clang，这将行不通。
2. 仅适用于M1（ARM64）处理器：Homebrew将其安装位置从/usr/local/ to/to /opt/homebrew/ 。为了使软件包查找其依赖项执行sudo ln -s /opt/homebrew/{include,lib} /usr/local/ 。
3. 继续使用Linux指令（brew中的公式用于patch ， libgmp-dev ， libmpfr-dev分别为gpatch ， gmp ， mpfr ）。

视窗

1. 安装WSL2。 Goblint与WSL1不兼容。
2. 继续使用WSL中的Linux说明。

其他

• OPAM 。安装OPAM并运行opam install goblint 。
• Devcontainer。在VS代码中选择“在容器中重新打开”，然后继续使用DevContainer中的Linux指令make 。
• Docker（Github容器注册表） 。运行docker pull ghcr.io/goblint/analyzer:latest （或:nightly ）。
• Docker（存储库）。克隆并运行docker build -t goblint . 。
• 流浪汉。克隆并奔跑vagrant up && vagrant ssh 。

跑步

为了确认建筑物有效，您可以尝试按下以下操作：

 ./goblint tests/regression/04-mutex/01-simple_rc.c

为了确认在OPAM开关中的安装工作，您可以尝试按下以下操作：

 goblint tests/regression/04-mutex/01-simple_rc.c

为了确认Docker容器有效，您可以尝试按下以下操作：

 docker run -it --rm -v $(pwd):/data goblint /data/tests/regression/04-mutex/01-simple_rc.c

如果从github容器注册表中提取，请使用容器名称ghcr.io/goblint/analyzer:latest （或:nightly ）。

有关更多信息，请参见文档。

致谢

Deutsche Forschungsgemeinschaft（DFG）（47140942/1480 PUMA，378803395/2428传达），Artemis联合企业（269335 MBAT），ITEA3 Project 14014-Northia Sparta rusteri theaveli rusteri the，爱沙尼亚研究委员会（IUT2-1，PSG61）和由欧洲地区发展基金会资助的IT（Excite）的爱沙尼亚IT卓越中心（Excite）。

我们还要感谢Zulip为Goblint项目提供免费的Zulip Cloud Standard托管。 Zulip是一款开源的现代团队聊天应用程序，旨在保持现场直播和异步对话。