gotcha

Gotcha-去觸發痛苦

[0]

有關此存儲庫的一些理論背景可以在我們的論文中提供：GO的信息流分析。有關該項目的更多信息，請檢查確認。

當地機器上的要求和安裝

0. GO的安裝
1. GO版本低於1.8
   • 確保您設置了$GOPATH
   • 將$GOPATH EG與export GOPATH=$HOME/go on Unix機器設置
2. go get github.com/akwick/gotcha

另一個變體是在Docker圖像中安裝陷阱。這可以以類似的方式完成：啟動golang容器，然後在此容器中執行GO GET命令（步驟2）。

建立分析

0. CD $ GOPATH/src/github.com/akwick/gotcha
1. 去構建

用自己的叉子工作

使用您自己的Go-Project叉子工作令人興奮，因為Go套餐總是具有“ github.com/akwick/gotcha/foo”表單的完全合格的進口。為了避免重命名進口（在合併之前必須對其進行修補），以下內容應起作用：

0. 配置了$ Gopath
1. CD $ GOPATH
2. mkdir -p src/github.com/akwick
3. CD src/github.com/akwick
4. git克隆您的：repo/gotcha（或ln -s路徑/to/gotcha。）。

運行分析

0. ./gotcha -path =“ go -files作為相對部分的路徑來自$ gopath/src” -src =“源代碼文件的路徑，該路徑應該分析” -ssf =“源通往源的路徑和下沉file” ./analysis -src="tests/exampleCode/hello.go"
1. -SRC標誌是強制性的，路徑，SSF，AllPKGS，PKGS和PTRFLAG是可選的。
2. 默認參數是：

• 路徑= github.com/akwick/gotcha
  • 如果您不運行我們的示例，則重要的是要更改路徑。
• ssf = ./sourcesandsinks.txt
  • 如果您想使用自己的souces和angs文件，請採用此參數
• allpkgs = false
  • 分析所有軟件包
• pkgs =“”
  • 僅分析定義的軟件包
• ptr = true
  • 通過其他指針分析分析程序

3. ./analysis -h為標誌打印了一個簡短的幫助。

測試結果

我們有幾項測試，可確保我們的分析的某些功能。結果可通過Jenkins獲得有關計算機上運行測試的更詳細說明，在文件test.md中

調試程序

該存儲庫有一個可以構建調試文件的小殼腳本。命令的參考是在Godebug的存儲庫中。

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

致謝

該分析是我主論文的一部分。我要感謝所有參與此過程的人：Eric Bodden，Michael Eichberg，Ka I Pun，Martin Steffen和Volker Stolz。

這項工作得到了挪威 - 德國雙邊PPP項目GoreTech（Goruntime執行技術）的部分支持，歐盟成本動作IC1402“ ARVI - 超越監視的跑步驗證”和EU Project fp7-610582 Engisage：Engineering Virtualized Services。

最後但並非最不重要的一點是，我要感謝那些去柏林的女性，給了我訪問Dotgo 2016的機會。感謝Vanesa的這一天，充滿了很棒的演講。

[0]該圖像是由Anna-Katharina Wickert在Creative Commons 3.0許可下根據Renee French的3.0屬性而創建的。