gotcha

Gotcha - go t aint ch eck eine nalyse

[0]

Ein theoretischer Hintergrund zu diesem Repository finden Sie in unserem Artikel: Informationsflussanalyse für GO. Weitere Informationen zum Projekt finden Sie auch die Bestätigungen.

Anforderungen und Installation von Gotcha auf Ihrem lokalen Computer

0. Installation von Go
1. GO Version unter 1.8
   • Stellen Sie sicher, dass Sie den $GOPATH festgelegt haben
   • Setzen Sie den $GOPATH zB mit export GOPATH=$HOME/go auf eine Unix -Maschine
2. go get github.com/akwick/gotcha

Eine andere Variante besteht darin, Gotcha in einem Docker -Bild zu installieren. Dies kann auf ähnliche Weise erfolgen: Starten Sie einen Golang -Container und führen Sie in diesem Container den Befehl Go Get aus (Schritt 2).

Bauen Sie die Analyse auf

0. CD $ gopath/src/github.com/akwick/gotcha
1. Geh bauen

Arbeiten in Ihrer eigenen Gabel

Die Arbeit mit Ihrer eigenen Gabelung eines Go-Project ist aufregend , da Go-Pakete immer voll qualifizierte Importe des Formulars "github.com/akwick/gotcha/foo" haben. Um die Umbenennung von Importen zu vermeiden (und sie vor dem Zusammenführen zurückzuführen), sollte Folgendes funktionieren:

0. Lassen Sie $ gopath konfigurieren
1. CD $ Gopath
2. MKDIR -P SRC/Github.com/Akwick
3. CD SRC/Github.com/Akwick
4. Git Klon Your: repo/gotcha (oder ln -s path/to/gotcha.)

Führen Sie die Analyse aus

0. ./gotcha -path = "Pfad zu go -files als relativer Teil von $ gopath/src" -src = "Pfad zur Quellcode -Datei, die" -ssf = "Pfad zu den Quellen und Sinks -Datei analysieren sollte ./analysis -src="tests/exampleCode/hello.go"
1. Das -Src -Flag ist obligatorisch, der Pfad, SSF, Allpkgs, PKGs und PTRflag sind optional.
2. Der Standardparameter ist:

• path = github.com/akwick/gotcha
  • Es ist wichtig, den Pfad zu ändern, wenn Sie unsere Beispiele nicht ausführen.
• SSF = ./SourcesAndSinks.txt
  • Übernehmen Sie diesen Parameter, wenn Sie Ihre eigene Souces- und Sinks -Datei verwenden möchten
• Allpkgs = false
  • Analysieren Sie alle Pakete
• pkgs = ""
  • Analysieren Sie nur die definierten Pakete
• ptr = true
  • Analysieren Sie das Programm mit der zusätzlichen Zeigeranalyse

3. ./analysis -h druckt eine kurze Hilfe für die Flaggen.

Testergebnisse

Wir haben mehrere Tests, die eine gewisse Funktionalität unserer Analyse gewährleisten. Die Ergebnisse sind über Jenkins erhältlich sind detailliertere Beschreibungen zum Ausführen von Tests auf Ihrem Computer sind in den Dateitests.md

Debuggen Sie das Programm

Das Repository verfügt über ein kleines Shell -Skript, das eine Debug -Datei erstellen kann. Eine Referenz für die Befehle befindet sich im Repository von GodeBug.

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

Anerkennung

Diese Analyse ist Teil meiner Masterarbeit. Ich möchte allen Menschen danken, die an diesem Prozess beteiligt waren: Eric Bodden, Michael Eichberg, Ka I Pun, Martin Steffen und Volker Stolz.

Die Arbeit wurde teilweise vom norwegisch-deutschen bilateralen PPP-Projekt Goretech (Goruntime Enforcement Techniques), der EU Cost Action IC1402 „Arvi-Runtime-Überprüfung über die Überwachung“ und das EU-Projekt FP7-610582 Umwelt: Engineering-Dienste über die Überwachung “unterstützt.

Last but not least möchte ich Frauen danken, die Berlin für die Chance haben, den Dotgo 2016 zu besuchen. Danke Vanesa für diesen tollen Tag voller toller Gespräche.

[0] Dieses Bild wird von Anna-Katatharina Wickert unter Creative Commons 3.0-Lizenz erstellt, die auf Renee French unter Creative Commons 3.0-Zuschreibungen basiert.