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属性而创建的。