gotcha

Petcha - vá t e não

[0]

Alguns antecedentes teóricos sobre este repositório estão disponíveis em nosso artigo: análise de fluxo de informações para GO. Para obter mais informações sobre o projeto, verifique também os agradecimentos.

Requisitos e instalação do Gotcha em sua máquina local

0. Instalação de Go
1. Versão vá abaixo de 1.8
   • Certifique -se de definir o $GOPATH
   • Defina o $GOPATH por exemplo, com export GOPATH=$HOME/go em uma máquina Unix
2. go get github.com/akwick/gotcha

Outra variante é instalar o Gotcha em uma imagem do Docker. Isso pode ser feito de maneira semelhante: inicie um contêiner de Golang e dentro deste contêiner execute o comando go get (etapa 2).

Construir a análise

0. CD $ gopath/src/github.com/akwick/gotcha
1. vá construir

Trabalhando em seu próprio garfo

Trabalhar com o seu próprio garfo de um projeto é emocionante , porque os pacotes Go sempre têm importações totalmente qualificadas do formulário "github.com/akwick/gotha/foo". Para evitar renomear as importações (e ter que corrigi -las antes de se fundir), o seguinte deve funcionar:

0. A $ Gopath configurou
1. CD $ Gopath
2. mkdir -p src/github.com/akwick
3. CD SRC/Github.com/Akwick
4. Git clone seu: repo/gotcha (ou ln -s Path/to/Gotcha.)

Execute a análise

0. ./GOTCHA -Path = "Caminho para os arquivos girados como parte relativa de $ gopath/src" -src = "caminho para o arquivo de código -fonte que deve analisar" -ssf = "caminho para o arquivo de fontes e pia" ./analysis -src="tests/exampleCode/hello.go"
1. O sinalizador -src é obrigatório, o caminho, SSF, AllPKGs, PKGs e PTRFLAG são opcionais.
2. O parâmetro padrão é:

• Path = github.com/akwick/gotha
  • É importante mudar o caminho se você não estiver executando nossos exemplos.
• ssf = ./sourcesandSinks.txt
  • Adote este parâmetro se quiser usar seu próprio arquivo de souces e pia
• allpkgs = false
  • Analise todos os pacotes
• pkgs = ""
  • Analise apenas os pacotes definidos
• ptr = true
  • Analise o programa com a análise de ponteiro adicional

3. ./analysis -h imprime uma pequena ajuda para as bandeiras.

Resultados do teste

Temos vários testes que garantem alguma funcionalidade de nossa análise. Os resultados estão disponíveis via Jenkins são descrições mais detalhadas sobre os testes de execução em sua máquina estão nos testes de arquivo.md

Depure o programa

O repositório possui um pequeno script de shell que pode criar um arquivo de depuração. Uma referência para os comandos está no repositório de GodeBug.

 $ ./debug.sh
$ ./analysis.debug -src="fileyouwanttodebug"

Agradecimentos

Esta análise faz parte da minha tese de mestrado. Quero agradecer a todas as pessoas envolvidas nesse processo: Eric Bodden, Michael Eichberg, Ka I Pun, Martin Steffen e Volker Stolz.

O trabalho foi parcialmente apoiado pelo projeto bilateral de PPP norueguês-alemão GORETECH (Técnicas de aplicação de Goruntime), a ação de custo da UE IC1402 “ARVI-verificação em grande parte além do monitoramento” e o projeto da UE FP7-610582 Pesquisa: os serviços virtualizados da engenharia.

Por último, mas não menos importante, quero agradecer às mulheres que vão Berlim por me dar a chance de visitar o Dotgo 2016. Obrigado Vanesa por este ótimo dia cheio de palestras incríveis.

[0] Esta imagem é criada por Anna-Katharina Wickert sob a licença Creative Commons 3.0 com base em Renee French, sob atribuições Creative Commons 3.0.