analyzer

Copa

La documentación se puede navegar en leer los documentos o GitHub.

Instalación

Tanto para usar una versión actualizada de Goblint o para desarrollarla, la mejor manera es instalar desde la fuente clonando este repositorio. Para la regla de evaluación comparativa, siga la guía de evaluación comparativa en leer los documentos.

Linux

1. Instale OPAM.
2. Asegúrese de que se instale lo siguiente: git , patch , m4 , autoconf , libgmp-dev , libmpfr-dev y pkg-config .
3. Ejecute make setup para instalar OCAML y dependencias a través de OPAM.
4. Ejecutar make para construir el duende en sí.
5. Ejecute make install para instalar Goblint en el interruptor OPAM para su uso a través de PATH del interruptor.
6. Opcional: consulte scripts/bash-completion.sh para configurar la finalización de BASH para los argumentos de clima.

Macosa

1. Instale GCC con brew install gcc grep (primero ejecute xcode-select --install si no desea construirlo desde la fuente). Goblint requiere GCC, mientras que cpp predeterminado de MacOS es Clang, que no funcionará.
2. Solo para el procesador M1 (ARM64): Homebrew cambió su ubicación de instalación desde /usr/local/ to /opt/homebrew/ . Para que los paquetes encuentren sus dependientes, ejecute sudo ln -s /opt/homebrew/{include,lib} /usr/local/ .
3. Continúe usando las instrucciones de Linux (las fórmulas en Brew para patch , libgmp-dev , libmpfr-dev son gpatch , gmp , mpfr , respectivamente).

Windows

1. Instale WSL2. Goblint no es compatible con WSL1.
2. Continúe usando las instrucciones de Linux en WSL.

Otro

• Opam . Instale OPAM y ejecute opam install goblint .
• Devcontainer. Seleccione "Reabrir en contenedor" en el código VS y continúe con make de instrucciones de Linux en DevContainer.
• Docker (Registro de contenedores GitHub) . Run docker pull ghcr.io/goblint/analyzer:latest (o :nightly ).
• Docker (repositorio). Clon y ejecutar docker build -t goblint . .
• Vagabundo. Clon y ejecute vagrant up && vagrant ssh .

Correr

Para confirmar que el edificio funcionó, puede intentar ejecutar Goblint de la siguiente manera:

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

Para confirmar que la instalación en el interruptor OPAM funcionó, puede intentar ejecutar Goblint de la siguiente manera:

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

Para confirmar que el contenedor Docker funcionó, puede intentar ejecutar Goblint de la siguiente manera:

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

Si se extrae del Registro de contenedores de GitHub, use el nombre del contenedor ghcr.io/goblint/analyzer:latest (o :nightly ) en su lugar.

Para obtener más información, consulte la documentación.

Expresiones de gratitud

El trabajo en Goblint fue apoyado en parte por Deutsche Forschungsgemeinschaft (DFG) (47140942/1480 PUMA, 378803395/2428 Transmite), Artemis Joint Enderantes (269335 MBAT), ITEA3 Proyecto 14014 Asumir, la Fundación de Ciencias Nacionales de Shota de Georg de Georg FRING. El Consejo de Investigación Estonia (IUT2-1, PSG61) y el Centro de Excelencia Estonia en TI (Excite), financiado por el Fondo Europeo de Desarrollo Regional.

También agradecemos a Zulip por proporcionar alojamiento estándar gratuito de Zulip Cloud para el Proyecto Goblint. Zulip es una aplicación de chat de equipo moderna de código abierto diseñada para mantener las conversaciones en vivo y asincrónicas organizadas.