analyzer

โกบลินต์

เอกสารสามารถเรียกดูได้ที่อ่านเอกสารหรือ GitHub

การติดตั้ง

ทั้งสองสำหรับการใช้ Goblint รุ่นล่าสุดหรือพัฒนามันวิธีที่ดีที่สุดคือการติดตั้งจากแหล่งที่มาโดยการโคลนที่เก็บนี้ สำหรับการเปรียบเทียบ Goblint โปรดทำตามคู่มือการเปรียบเทียบในการอ่านเอกสาร

ลินเวกซ์

1. ติดตั้ง OPAM
2. ตรวจสอบให้แน่ใจว่ามีการติดตั้งต่อไปนี้: git , patch , m4 , autoconf , libgmp-dev , libmpfr-dev และ pkg-config
3. เรียกใช้ make setup เพื่อติดตั้ง OCAML และการพึ่งพาผ่าน OPAM
4. วิ่ง make เพื่อสร้าง Goblint เอง
5. เรียก make install เพื่อติดตั้ง Goblint ลงในสวิตช์ OPAM สำหรับการใช้งานผ่าน PATH ของ Switch
6. ตัวเลือก: ดู scripts/bash-completion.sh สำหรับการตั้งค่า Bash Complete สำหรับอาร์กิวเมนต์ Goblint

แม็กอส

1. ติดตั้ง GCC ด้วย brew install gcc grep (ก่อน xcode-select --install หากคุณไม่ต้องการสร้างจากแหล่งที่มา) Goblint ต้องการ GCC ในขณะที่ cpp เริ่มต้นของ MacOS นั้นเป็นเสียงดังก้องซึ่งจะไม่ทำงาน
2. เฉพาะสำหรับโปรเซสเซอร์ M1 (ARM64): Homebrew เปลี่ยนตำแหน่งการติดตั้งจาก /usr/local/ 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. ใช้คำแนะนำ Linux ใน WSL ต่อไป

อื่น

• Opam . ติดตั้ง OPAM และเรียกใช้ opam install goblint
• DevContainer เลือก "เปิดใหม่ในคอนเทนเนอร์" ในรหัส VS และดำเนินการ make โดยใช้คำสั่ง Linux ใน DevContainer
• Docker (GitHub Container Registry) เรียกใช้ docker pull ghcr.io/goblint/analyzer:latest (หรือ :nightly )
• นักเทียบท่า (ที่เก็บ) โคลนและเรียกใช้ docker build -t goblint . -
• Vagrant โคลนและเรียกใช้ 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 ลำเลียงอาร์ทิม สภาวิจัยเอสโตเนีย (IUT2-1, PSG61) และศูนย์ความเป็นเลิศของเอสโตเนีย (Excite) ได้รับทุนสนับสนุนจากกองทุนพัฒนาภูมิภาคยุโรป

นอกจากนี้เรายังขอขอบคุณ Zulip ที่ให้บริการโฮสติ้งมาตรฐาน Zulip Cloud ฟรีสำหรับโครงการ Goblint Zulip เป็นแอพแชทของทีมโอเพนซอร์ซที่ออกแบบมาเพื่อให้การสนทนาทั้งแบบสดและแบบอะซิงโครนัส