gotcha

Gotcha -go to check a nalysis

[0]

このリポジトリに関するいくつかの理論的背景は、私たちの論文で入手できます：GOの情報フロー分析。プロジェクトの詳細については、謝辞も確認してください。

地元のマシンへのGotchaの要件とインストール

0. Goのインストール
1. 1.8未満のバージョンに移動します
   • $GOPATHを設定したことを確認してください
   • エクスポートで$GOPATHを設定しますexport GOPATH=$HOME/go unixマシン
2. go get github.com/akwick/gotcha

別のバリアントは、GotchaをDocker画像にインストールすることです。これは、同様の方法で実行できます。Golangコンテナを起動し、このコンテナ内でGo Getコマンドを実行します（ステップ2）。

分析を構築します

0. cd $ gopath/src/github.com/akwick/gotcha
1. ビルドに行きます

あなた自身のフォークで働いています

Go Packagesには常に「github.com/akwick/gotcha/foo」というフォームの完全な資格のあるインポートがあるため、Go-Projectの独自のフォークを使用することはエキサイティングです。輸入品の名前変更を避けるため（マージする前に輸入品のパッチを当てなければならない）、次のことが機能するはずです。

0. $ gopathを構成します
1. CD $ gopath
2. mkdir -p src/github.com/akwick
3. CD SRC/github.com/akwick
4. git clone your：repo/gotcha（またはln -s path/to/gotcha。）

分析を実行します

0. ./gotcha -path = "$ gopath/srcからの相対パートとしてのゴーファイルへのパス" -src = "ソースコードファイルへのパス-SSF ="ソースへのパス "ファイルとシンクファイルへ./analysis -src="tests/exampleCode/hello.go"
1. -SRCフラグは必須であり、パス、SSF、ALLPKG、PKGS、PTRFLAGはオプションです。
2. デフォルトのパラメーターは次のとおりです。

• path = github.com/akwick/gotcha
  • 例を実行していない場合は、パスを変更することが重要です。
• ssf = ./Sourcesandsinks.txt
  • 独自のsouces and Sinksファイルを使用する場合は、このパラメーターを採用してください
• allpkgs = false
  • すべてのパッケージを分析します
• pkgs = ""
  • 定義されたパッケージのみを分析します
• ptr = true
  • 追加のポインター分析でプログラムを分析します

3. ./analysis -hフラグの短いヘルプを印刷します。

テスト結果

分析の機能を確保するテストがいくつかあります。結果はジェンキンスを介して利用可能です。マシンでの実行テストに関するより詳細な説明は、ファイルテストにあります。md

プログラムをデバッグします

リポジトリには、デバッグファイルを構築できる小さなシェルスクリプトがあります。コマンドの参照は、godebugのリポジトリにあります。

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

謝辞

この分析は私のマスター論文の一部です。このプロセスに関与していたすべての人々に感謝したいと思います：エリック・ボドデン、マイケル・アイヒバーグ、KA I Pun、マーティン・ステフェン、ヴォルカー・ストルツ。

この作業は、ノルウェー - ドイツの両側PPPプロジェクトGoretech（Goruntime Enforcement Techniques）、EUコストアクションIC1402「ARVI-Runtime検証」、およびEUプロジェクトFP7-610582想像：工学的仮想サービスによって部分的にサポートされていました。

最後になりましたが、ベルリンに行ってドットゴ2016を訪問する機会を与えてくれた女性に感謝したいと思います。素晴らしい話でいっぱいの素晴らしい一日をヴァネサに感謝します。

[0]この画像は、Creative Commons 3.0の属性の下でRenee Frenchに基づくCreative Commons 3.0ライセンスの下でAnna-Katharina Wickertによって作成されています。