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是一款開源的現代團隊聊天應用程序，旨在保持現場直播和異步對話。