gotcha

Gotcha - allez à chier une nalyse

[0]

Certains antécédents théoriques sur ce référentiel sont disponibles dans notre article: analyse du flux d'informations pour GO. Pour plus d'informations sur le projet, consultez également les remerciements.

Exigences et installation de gotcha sur votre machine locale

0. Installation de Go
1. GO Version en dessous de 1.8
   • Assurez-vous que vous avez réglé le $GOPATH
   • Réglez le $GOPATH par exemple avec export GOPATH=$HOME/go sur une machine Unix
2. go get github.com/akwick/gotcha

Une autre variante consiste à installer Gotcha dans une image Docker. Cela peut être fait de la même manière: démarrez un conteneur Golang et dans ce conteneur, exécutez la commande Go Get (étape 2).

Construire l'analyse

0. cd $ gopath / src / github.com / akwick / gotcha
1. se construire

Travailler dans votre propre fourchette

Travailler avec votre propre fourchette d'un project de Go est passionnant car les packages GO ont toujours des importations entièrement qualifiées du formulaire "github.com/akwick/gotcha/foo". Pour éviter de renommer les importations (et devoir les réparer avant la fusion), ce qui suit devrait fonctionner:

0. Faire configurer $ gopath
1. CD $ GOPATH
2. MKDIR -P SRC / GITHUB.COM / AKWICK
3. cd src / github.com / akwick
4. git clone votre: repo / gotcha (ou chemin ln -s / vers / gotcha.)

Exécuter l'analyse

0. ./gotcha -path = "Path to go-files en tant que partie relative de $ gopath / src" -src = "Path vers le fichier de code source qui doit analyser" -ssf = "Path to the Sources and swels Fichier" ./analysis -src="tests/exampleCode/hello.go"
1. L'indicateur -SRC est obligatoire, le chemin, SSF, AllPKGS, PKGS et PTRFLAG sont facultatifs.
2. Le paramètre par défaut est:

• chemin = github.com/akwick/gotcha
  • Il est important de changer le chemin si vous n'exécutez pas nos exemples.
• ssf = ./sourcesandsinks.txt
  • Adoptez ce paramètre si vous souhaitez utiliser votre propre fichier Souces and Sinks
• allpkgs = false
  • Analyser tous les packages
• pkgs = ""
  • Analyser uniquement les packages définis
• ptr = vrai
  • Analyser le programme avec l'analyse du pointeur supplémentaire

3. ./analysis -h imprime une courte aide pour les drapeaux.

Résultats des tests

Nous avons plusieurs tests qui garantissent certaines fonctionnalités de notre analyse. Les résultats sont disponibles via Jenkins sont des descriptions plus détaillées sur l'exécution de tests sur votre machine sont dans les tests de fichiers.

Déboguer le programme

Le référentiel a un petit script shell qui peut créer un fichier de débogage. Une référence pour les commandes est dans le référentiel de Godebug.

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

Remerciements

Cette analyse fait partie de ma thèse de maître. Je tiens à remercier toutes les personnes impliquées dans ce processus: Eric Bodden, Michael Eichberg, KA I Pun, Martin Steffen et Volker Stolz.

Les travaux ont été en partie soutenus par le projet PPP bilatéral norvégien Goretech (Techniques d'application de la Goruntime), l'action de coût de l'UE IC1402 «ARVI - Vérification de la prolongation au-delà de la surveillance» et le projet UE FP7-610582 envisagent: les services virtualisés en ingénierie.

Enfin et surtout, je tiens à remercier les femmes qui vont Berlin de m'avoir donné la chance de visiter le Dotgo 2016. Merci Vanesa pour cette grande journée pleine de pourparlers impressionnants.

[0] Cette image est créée par Anna-Katharina Wickert sous la licence Creative Commons 3.0 basée sur Renee French sous Creative Commons 3.0 Attributions.