analyzer

고블린

문서를 읽거나 문서를 찾아 볼 수 있습니다.

설치

최신 버전의 Goblint 또는 개발을위한 가장 좋은 방법은이 저장소를 복제하여 소스에서 설치하는 것입니다. 벤치마킹 GoBlint는 문서 읽기에 대한 벤치마킹 안내서를 따르십시오.

리눅스

1. OPAM을 설치하십시오.
2. 다음이 설치되어 있는지 확인하십시오 : git , patch , m4 , autoconf , libgmp-dev , libmpfr-dev 및 pkg-config .
3. OPAM을 통해 OCAML 및 종속성을 설치하려면 make setup 실행하십시오.
4. Goblint 자체를 구축하기 위해 make 실행하십시오.
5. 실행 make install 스위치 PATH 를 통해 사용을 위해 OPAM 스위치에 GoBlint를 설치하십시오.
6. 선택 사항 : Goblint 인수에 대한 Bash 작성을 설정하려면 scripts/bash-completion.sh 참조하십시오.

마코스

1. brew install gcc grep 사용하여 GCC를 설치하십시오 (첫 번째 실행 xcode-select --install ). GoBlint에는 GCC가 필요하지만 MacOS의 기본 cpp 는 Clang이므로 작동하지 않습니다.
2. M1 (ARM64) 프로세서의 경우에만 : Homebrew는 설치 위치를 /usr/local/ to /opt/homebrew/ 에서 변경했습니다. 패키지가 부근을 찾으려면 sudo ln -s /opt/homebrew/{include,lib} /usr/local/ 실행하십시오.
3. Linux 지침 ( patch 용 Brew의 공식, 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를 실행할 수 있습니다.

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

OPAM 스위치에 설치가 작동했음을 확인하려면 다음과 같이 GoBlint를 실행할 수 있습니다.

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

Docker 컨테이너가 작동했는지 확인하려면 다음과 같이 GoBlint를 실행할 수 있습니다.

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

github 컨테이너 레지스트리에서 가져 오면 컨테이너 이름 ghcr.io/goblint/analyzer:latest (또는 :nightly )를 대신 사용하십시오.

자세한 내용은 문서를 참조하십시오.

감사의 말

Goblint에 대한 작업은 Deutsche Forschungsgemeinschaft (DFG) (47140942/1480 Puma, 378803395/2428 CONVEY), Artemis Joint Universaking (269335 MBAT), ITEA3 Project 14014, Georgia Fr-21-the Georgia Fr-21-the Georgia Fr. 유럽 ​​지역 개발 기금에 의해 자금을 지원하는 에스토니아 연구위원회 (IUT2-1, PSG61) 및 ESCITE (Estonian Center of IT) (Excite).

또한 Goblint 프로젝트에 무료 Zulip Cloud Standard 호스팅을 제공 한 Zulip에게 감사드립니다. Zulip은 라이브 및 비동기 대화를 모두 정리하도록 설계된 오픈 소스 현대 팀 채팅 앱입니다.