analyzer

Goblint

Die Dokumentation kann auf dem Lesen der Dokumente oder des Github durchsucht werden.

Installation

Beide für die Verwendung einer aktuellen Version von GoBLint oder entwickeln, ist es am besten, durch Klonen dieses Repositorys aus der Quelle zu installieren. Für den Benchmarking -GoBLINT folgen Sie bitte dem Benchmarking -Handbuch zum Lesen der Dokumente.

Linux

1. Installieren Sie OPAM.
2. Stellen Sie sicher, dass die folgenden Installationen installiert sind: git , patch , m4 , autoconf , libgmp-dev , libmpfr-dev und pkg-config .
3. Machen Sie make setup , um OCAML und Abhängigkeiten über OPAM zu installieren.
4. Run make , um Goblint selbst zu bauen.
5. Führen Sie make install , um GoBlint in den OPAM -Switch für die Verwendung über Switchs PATH zu installieren.
6. Optional: Siehe scripts/bash-completion.sh um die Bash-Fertigstellung für GoBLINT-Argumente einzurichten.

Macos

1. Installieren Sie GCC mit brew install gcc grep (zuerst run xcode-select --install wenn Sie es nicht aus Quelle erstellen möchten). Goblint benötigt GCC, während MacOS 'Standard cpp Clang ist, was nicht funktioniert.
2. Nur für M1 (ARM64) -Prozessor: Homebrew hat seinen Installationsort von /usr/local/ to /opt/homebrew/ geändert. Damit Pakete finden können, um ihre Abhängigkeit zu finden, führen Sie sudo ln -s /opt/homebrew/{include,lib} /usr/local/ aus.
3. Verwenden Sie weiterhin Linux-Anweisungen (die Formeln im Gebräu für patch , libgmp-dev , libmpfr-dev sind gpatch , gmp , mpfr ).

Fenster

1. Installieren Sie WSL2. Goblint ist nicht mit WSL1 kompatibel.
2. Verwenden Sie weiterhin Linux -Anweisungen in WSL.

Andere

• opam . Installieren Sie OPAM und führen Sie opam install goblint aus.
• DevContainer. Wählen Sie in VS -Code "In Container wieder auf make Container wieder öffnen.
• Docker (GitHub Container Registry) . Run docker pull ghcr.io/goblint/analyzer:latest (oder :nightly ).
• Docker (Repository). Klon und Run docker build -t goblint . .
• Landstreicher. Klon und Run vagrant up && vagrant ssh .

Läuft

Um zu bestätigen, dass das Gebäude funktioniert hat, können Sie versuchen, Goblint wie folgt zu betreiben:

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

Um zu bestätigen, dass die Installation in den OPAM -Switch funktioniert hat, können Sie wie folgt versuchen, GoBLINT auszuführen:

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

Um zu bestätigen, dass der Docker -Container funktioniert hat, können Sie versuchen, GoBLINT wie folgt auszuführen:

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

Wenn Sie aus der GitHub -Containerregistrierung gezogen werden, verwenden Sie stattdessen den Containernamen ghcr.io/goblint/analyzer:latest (oder :nightly ).

Weitere Informationen finden Sie unter Dokumentation.

Anerkennung

Die Arbeiten an Goblint wurden teilweise von Deutsche Forschungsgemeinschaft (DFG) (47140942/1480 Puma, 378803395/2428 Conferation), Artemis Joint Environment (269335 Mbat), ITEA3-Projekt 14014 Assume, The Shotemis Joint Envira (269335 Mbat), GEORGIA3-Projekt 14014 Assite, Assite, der Shotemis-Assume, Asseum, Asseum, Asseum, Asseum, Assume, Assume, Assume, Assume, Assume, Assume, der Schuta-Rustravel-Nationalwissenschaft, gegründet. Der estnische Forschungsrat (IUT2-1, PSG61) und das Estnian Center of Excellence in IT (ERCITE), finanziert vom European Regional Development Fund.

Wir danken Zulip auch für die Bereitstellung eines kostenlosen Zulip Cloud Standard -Hosting für das GoBLint -Projekt. Zulip ist eine Open-Source Modern Team Chat-App, die sowohl live als auch asynchrone Gespräche organisiert hat.