gotcha

gotcha - ไป t aint ch eck 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 ในอิมเมจนักเทียบท่า สิ่งนี้สามารถทำได้ในทำนองเดียวกัน: เริ่มคอนเทนเนอร์ Golang และภายในคอนเทนเนอร์นี้จะดำเนินการคำสั่ง GO GET (ขั้นตอนที่ 2)

สร้างการวิเคราะห์

0. cd $ gopath/src/github.com/akwick/gotcha
1. ไปสร้าง

ทำงานด้วยส้อมของคุณเอง

การทำงานกับส้อมของคุณเองเป็นโครงการ ที่น่าตื่นเต้น เพราะแพ็คเกจ 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 path/to/gotcha)

เรียกใช้การวิเคราะห์

0. ./gotcha -path = "เส้นทางไปสู่ไฟล์เป็นส่วนหนึ่งจาก $ gopath/src" -src = "พา ธ ไปยังไฟล์ซอร์สโค้ดซึ่งควรวิเคราะห์" -ssf = "พา ธ ไปยังแหล่งที่มาและไฟล์ Sinks" ./analysis -src="tests/exampleCode/hello.go"
1. ธง -SRC นั้นเป็นสิ่งจำเป็น, เส้นทาง, SSF, AllPKGS, PKGS และ PTRFLAG เป็นทางเลือก
2. พารามิเตอร์เริ่มต้นคือ:

• path = github.com/akwick/gotcha
  • สิ่งสำคัญคือต้องเปลี่ยนเส้นทางหากคุณไม่ได้ใช้ตัวอย่างของเรา
• ssf = ./sourcesandsinks.txt
  • ใช้พารามิเตอร์นี้หากคุณต้องการใช้ไฟล์ souces และ sinks ของคุณเอง
• Allpkgs = false
  • วิเคราะห์แพ็คเกจทั้งหมด
• pkgs = ""
  • วิเคราะห์เฉพาะแพ็คเกจที่กำหนดไว้
• ptr = true
  • วิเคราะห์โปรแกรมด้วยการวิเคราะห์ตัวชี้เพิ่มเติม

3. ./analysis -h พิมพ์ความช่วยเหลือสั้น ๆ สำหรับธง

ผลการทดสอบ

เรามีการทดสอบหลายครั้งซึ่งทำให้มั่นใจได้ว่าการทำงานของการวิเคราะห์ของเรา ผลลัพธ์ที่มีให้ผ่าน Jenkins เป็นคำอธิบายโดยละเอียดเพิ่มเติมเกี่ยวกับการทดสอบการทำงานบนเครื่องของคุณอยู่ใน การทดสอบ ไฟล์ 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 FP7-610582

สุดท้าย แต่ไม่ท้ายสุดฉันอยากจะขอบคุณผู้หญิงที่ไปเบอร์ลินที่ให้โอกาสฉันได้เยี่ยมชม Dotgo 2016 ขอบคุณ Vanesa สำหรับวันที่ยอดเยี่ยมนี้ที่เต็มไปด้วยการพูดคุยที่ยอดเยี่ยม

[0] ภาพนี้สร้างขึ้นโดย Anna-Katharina Wickert ภายใต้ใบอนุญาต Creative Commons 3.0 ตาม Renee French ภายใต้ Creative Commons 3.0 การอ้างสิทธิ์