gotcha

Gotcha - go t aint ch eck a analisis

[0]

Beberapa latar belakang teoretis tentang repositori ini tersedia dalam makalah kami: Analisis Aliran Informasi untuk GO. Untuk informasi lebih lanjut tentang proyek ini, periksa juga pengakuan.

Persyaratan dan pemasangan gotcha di mesin lokal Anda

0. Pemasangan Go
1. Versi GO di bawah 1.8
   • Pastikan Anda telah menetapkan $GOPATH
   • Atur $GOPATH misalnya dengan export GOPATH=$HOME/go pada mesin unix
2. go get github.com/akwick/gotcha

Varian lain adalah menginstal gotcha dalam gambar Docker. Ini dapat dilakukan dengan cara yang sama: Mulai wadah Golang dan di dalam wadah ini menjalankan perintah GO GET (Langkah 2).

Bangun analisis

0. CD $ GOPATH/SRC/GITHUB.COM/AKWICK/GOTCHA
1. pergi membangun

Bekerja di garpu Anda sendiri

Bekerja dengan garpu go-proyek Anda sendiri sangat menarik karena paket GO selalu memiliki impor yang sepenuhnya memenuhi syarat dari formulir "github.com/akwick/gotcha/foo". Untuk menghindari mengganti nama impor (dan harus menambalnya kembali sebelum bergabung), berikut ini harus berhasil:

0. Memiliki $ gopath yang dikonfigurasi
1. CD $ Gopath
2. mkdir -p src/github.com/akwick
3. CD SRC/GITHUB.COM/AKWICK
4. git klon Anda: repo/gotcha (atau ln -s path/to/gotcha.)

Jalankan analisis

0. ./gotcha -path = "path to Go -Files sebagai bagian relatif dari $ gopath/src" -src = "path ke file kode sumber yang harus dianalisis" -ssf = "path ke file sumber dan wastafel" ./analysis -src="tests/exampleCode/hello.go"
1. Bendera -src wajib, jalan, SSF, allpkgs, pkgs dan ptrflag adalah opsional.
2. Parameter default adalah:

• path = github.com/akwick/gotcha
  • Penting untuk mengubah jalur jika Anda tidak menjalankan contoh kami.
• ssf = ./sourcesandsinks.txt
  • Mengadopsi parameter ini jika Anda ingin menggunakan file Anda sendiri dan wastafel
• allpkgs = false
  • Menganalisis semua paket
• pkgs = ""
  • Hanya menganalisis paket yang ditentukan
• ptr = true
  • Menganalisis program dengan analisis pointer tambahan

3. ./analysis -h mencetak bantuan singkat untuk bendera.

Hasil tes

Kami memiliki beberapa tes yang memastikan beberapa fungsionalitas analisis kami. Hasilnya tersedia melalui Jenkins adalah deskripsi yang lebih rinci tentang menjalankan tes pada mesin Anda ada di file tes.md

Debug program

Repositori memiliki skrip shell kecil yang dapat membangun file debug. Referensi untuk perintah tersebut ada di gudang Godebug.

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

Ucapan Terima Kasih

Analisis ini adalah bagian dari tesis induk saya. Saya ingin mengucapkan terima kasih kepada semua orang yang terlibat dalam proses ini: Eric Bodden, Michael Eichberg, Ka I Pun, Martin Steffen dan Volker Stolz.

Pekerjaan ini sebagian didukung oleh proyek PPP Bilateral Norwegia-Jerman Goretech (teknik penegakan Goruntime), tindakan biaya UE IC1402 “ARVI-verifikasi yang luar biasa di luar pemantauan” dan proyek UE FP7-610582 Envisage: Rekayasa Layanan Virtualisasi.

Terakhir, saya ingin mengucapkan terima kasih kepada wanita yang pergi Berlin karena memberi saya kesempatan untuk mengunjungi Dotgo 2016. Terima kasih Vanesa untuk hari yang menyenangkan ini penuh dengan pembicaraan yang luar biasa.

[0] Gambar ini dibuat oleh Anna-Katharina Wickert di bawah lisensi Creative Commons 3.0 berdasarkan Renee French di bawah atribusi Creative Commons 3.0.