analyzer

Goblint

Dokumentasi dapat ditelusuri saat membaca dokumen atau github.

Menginstal

Baik untuk menggunakan versi terbaru dari Goblint atau mengembangkannya, cara terbaik adalah menginstal dari sumber dengan mengkloning repositori ini. Untuk benchmarking goblint, silakan ikuti panduan benchmarking saat membaca dokumen.

Linux

1. Instal Opam.
2. Pastikan berikut ini diinstal: git , patch , m4 , autoconf , libgmp-dev , libmpfr-dev dan pkg-config .
3. Jalankan make setup untuk menginstal OCAML dan dependensi melalui OPAM.
4. Jalankan make To Build Goblint itu sendiri.
5. Jalankan make install untuk menginstal Goblint ke sakelar OPAM untuk penggunaan melalui PATH sakelar.
6. Opsional: Lihat scripts/bash-completion.sh untuk menyiapkan penyelesaian bash untuk argumen goblint.

MacOS

1. Instal GCC dengan brew install gcc grep (run first run xcode-select --install jika Anda tidak ingin membangunnya dari sumber). Goblint membutuhkan GCC sementara cpp default MacOS adalah dentang, yang tidak akan berhasil.
2. Hanya untuk prosesor M1 (ARM64): Homebrew mengubah lokasi pemasangannya dari /usr/local/ to /opt/homebrew/ . Untuk paket untuk menemukan ketergantungan mereka mengeksekusi sudo ln -s /opt/homebrew/{include,lib} /usr/local/ .
3. Lanjutkan menggunakan instruksi Linux (rumus dalam minuman untuk patch , libgmp-dev , libmpfr-dev adalah gpatch , gmp , mpfr , masing-masing).

Windows

1. Instal WSL2. Goblint tidak kompatibel dengan WSL1.
2. Lanjutkan menggunakan instruksi Linux di WSL.

Lainnya

• opam . Instal OPAM dan jalankan opam install goblint .
• DevContainer. Pilih "Buka kembali dalam wadah" dalam kode VS dan lanjutkan dengan make menggunakan instruksi Linux di DevContainer.
• Docker (Github Container Registry) . Jalankan docker pull ghcr.io/goblint/analyzer:latest (atau :nightly ).
• Docker (repositori). Klon dan jalankan docker build -t goblint . .
• Gelandangan. Klon dan Jalankan vagrant up && vagrant ssh .

Berlari

Untuk mengonfirmasi bangunan itu, Anda dapat mencoba menjalankan Goblint sebagai berikut:

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

Untuk mengonfirmasi bahwa instalasi ke sakelar OPAM berfungsi, Anda dapat mencoba menjalankan Goblint sebagai berikut:

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

Untuk mengonfirmasi bahwa wadah Docker bekerja, Anda dapat mencoba menjalankan Goblint sebagai berikut:

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

Jika ditarik dari registri wadah GitHub, gunakan nama kontainer ghcr.io/goblint/analyzer:latest (atau :nightly ) sebagai gantinya.

Untuk informasi lebih lanjut, lihat dokumentasi.

Ucapan Terima Kasih

Work on Goblint was supported in part by Deutsche Forschungsgemeinschaft (DFG) (47140942/1480 PUMA, 378803395/2428 ConVeY), ARTEMIS Joint Undertaking (269335 MBAT), ITEA3 project 14014 ASSUME, the Shota Rustaveli National Science Foundation of Georgia FR-21-7973, Dewan Penelitian Estonia (IUT2-1, PSG61), dan Pusat Keunggulan Estonia di dalamnya (EXCITE), yang didanai oleh Dana Pembangunan Regional Eropa.

Kami juga berterima kasih kepada Zulip karena memberikan hosting standar Zulip Cloud gratis untuk proyek Goblint. Zulip adalah aplikasi obrolan tim modern open-source yang dirancang untuk menjaga percakapan langsung dan asinkron terorganisir.