analyzer

عفريت

يمكن تصفح الوثائق على قراءة المستندات أو github.

التثبيت

سواء لاستخدام إصدار محدث من Goblint أو تطويره ، فإن أفضل طريقة هي التثبيت من المصدر عن طريق استنساخ هذا المستودع. لقياس Goblint ، يرجى اتباع دليل القياس على قراءة المستندات.

Linux

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 لحجج Goblint.

ماكوس

1. قم بتثبيت GCC باستخدام brew install gcc grep (تشغيل xcode-select --install أولاً-إذا كنت لا ترغب في بنائه من المصدر). يتطلب Goblint GCC بينما cpp الافتراضية لـ MacOS هو Clang ، والتي لن تعمل.
2. فقط لمعالج M1 (ARM64): غيرت Homebrew موقع التثبيت من /usr/local/ to /opt/homebrew/ . من أجل العثور على التبعيات الخاصة بها ، تنفذ sudo ln -s /opt/homebrew/{include,lib} /usr/local/ .
3. استمر في استخدام تعليمات Linux (الصيغ الموجودة في Brew for patch و libgmp-dev و libmpfr-dev هي gpatch و gmp و mpfr ، على التوالي).

النوافذ

1. تثبيت WSL2. Goblint غير متوافق مع WSL1.
2. استمر في استخدام تعليمات Linux في WSL.

آخر

• أوبام . تثبيت OPAM وتشغيل opam install goblint .
• DevContainer. حدد "إعادة فتح في الحاوية" في VS Code واستمر في make تعليمات Linux في DevContainer.
• Docker (سجل حاوية Github) . RUN 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

لتأكيد هذا التثبيت في Switch 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 CONVER) FR-21-7973 ، مجلس الأبحاث الإستوني (IUT2-1 ، PSG61) ، ومركز التميز الإستوني في تكنولوجيا المعلومات (Excite) ، بتمويل من صندوق التنمية الإقليمي الأوروبي.

نشكر أيضًا Zulip على توفير استضافة Zulip Cloud Standard المجانية لمشروع Goblint. Zulip هو تطبيق دردشة الفريق الحديثة مفتوحة المصدر مصمم للحفاظ على كل من المحادثات الحية وغير المتزامنة.