analyzer

Goblint

A documentação pode ser navegada na leitura dos documentos ou Github.

Instalação

Tanto para usar uma versão atualizada do Goblint quanto a desenvolvê-lo, a melhor maneira é instalar a partir da fonte clonando este repositório. Para o Goblint de benchmarking, siga o guia de benchmarking em Read os documentos.

Linux

1. Instale Opam.
2. Verifique se o seguinte está instalado: git , patch , m4 , autoconf , libgmp-dev , libmpfr-dev e pkg-config .
3. Executar make setup para instalar o OCAML e as dependências via Opam.
4. Run make para construir o próprio Goblint.
5. Executar, make install para instalar o Goblint no interruptor Opam para uso através do PATH do Switch.
6. Opcional: consulte scripts/bash-completion.sh para configurar a conclusão do BASH para argumentos do Goblint.

Macos

1. Instale o GCC com brew install gcc grep (primeiro execute xcode-select --install se você não quiser construí-lo a partir da fonte). O Goblint requer o GCC, enquanto cpp padrão do MacOS é o CLANG, que não funcionará.
2. Somente para o processador M1 (ARM64): o HomeBrew mudou seu local de instalação de /usr/local/ para /opt/homebrew/ . Para que os pacotes encontrem suas dependências executem sudo ln -s /opt/homebrew/{include,lib} /usr/local/ .
3. Continue usando as instruções do Linux (as fórmulas em Brew for patch , libgmp-dev , libmpfr-dev são gpatch , gmp , mpfr , respectivamente).

Windows

1. Instale o WSL2. Goblint não é compatível com WSL1.
2. Continue usando as instruções do Linux no WSL.

Outro

• Opam . Instale Opam e execute opam install goblint .
• DevContainer. Selecione "Reabrir no contêiner" no código VS e continue com make de instruções do Linux no devContainer.
• Docker (Registro de Container Github) . Run docker pull ghcr.io/goblint/analyzer:latest (ou :nightly ).
• Docker (repositório). Clone e execute docker build -t goblint . .
• Vagabundo. Clone e execute vagrant up && vagrant ssh .

Correndo

Para confirmar que o prédio funcionou, você pode tentar correr Goblint da seguinte maneira:

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

Para confirmar que a instalação no interruptor Opam funcionou, você pode tentar executar o Goblint da seguinte forma:

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

Para confirmar que o contêiner do Docker funcionou, você pode tentar executar o Goblint da seguinte maneira:

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

Se retirado do Registro de Contêineres do Github, use o nome do contêiner ghcr.io/goblint/analyzer:latest (ou :nightly ).

Para mais informações, consulte a documentação.

Agradecimentos

O trabalho no Goblint foi apoiado em parte por Deutsche Forschungsgemenschaft (DFG) (47140942/1480 puma, 378803395/2428 Convey). O Conselho de Pesquisa da Estônia (IUT2-1, PSG61) e o Centro de Excelência da Estônia (excite), financiado pelo Fundo Europeu de Desenvolvimento Regional.

Agradecemos também a Zulip por fornecer hospedagem padrão gratuita da Zulip Cloud para o projeto Goblint. O Zulip é um aplicativo de bate-papo em equipe moderno de código aberto projetado para manter conversas ao vivo e assíncronas organizadas.