gotcha

Gotcha - Go T Aint ch eck a nalysis

[0]

تتوفر بعض الخلفية النظرية حول هذا المستودع في ورقتنا: تحليل تدفق المعلومات لـ GO. لمزيد من المعلومات حول المشروع ، تحقق أيضًا من الإقرارات.

متطلبات وتركيب GOTCHA على جهازك المحلي

0. تركيب GO
1. GO الإصدار أدناه 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 لها دائمًا واردات مؤهلة تمامًا لنموذج "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 = "Path to Go -Files كجزء نسبي من $ gopath/src" -src = "مسار إلى ملف رمز المصدر الذي يجب تحليله" -SSF = "المسار إلى ملف المصادر والمصارف" ./analysis -src="tests/exampleCode/hello.go"
1. علامة -SRC إلزامية ، والمسار ، SSF ، allpkgs ، PKGS و Ptrflag اختياري.
2. المعلمة الافتراضية هي:

• path = github.com/akwick/gotcha
  • من المهم تغيير المسار إذا كنت لا تدير أمثلةنا.
• ssf = ./sourcesandsinks.txt
  • اعتماد هذه المعلمة إذا كنت تريد استخدام ملف Souces and Souns الخاص بك
• allpkgs = خطأ
  • تحليل جميع الحزم
• PKGS = ""
  • فقط تحليل الحزم المحددة
• PTR = صحيح
  • تحليل البرنامج مع تحليل المؤشر الإضافي

3. ./analysis -h يطبع مساعدة قصيرة للأعلام.

نتائج الاختبار

لدينا العديد من الاختبارات التي تضمن بعض وظائف تحليلنا. النتائج متوفرة عبر Jenkins هي أوصاف أكثر تفصيلاً حول إجراء اختبارات على جهازك في اختبارات الملف

تصحيح البرنامج

يحتوي المستودع على نص Shell صغير يمكنه إنشاء ملف تصحيح. مرجع للأوامر في مستودع GoGebug.

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

شكر وتقدير

هذا التحليل جزء من أطروحة سيدتي. أود أن أشكر جميع الأشخاص الذين شاركوا في هذه العملية: إريك بودين ، مايكل إيتشبرغ ، كا أنا بون ، مارتن ستيفن وفولكر ستولز.

تم دعم هذا العمل جزئيًا من قبل مشروع GORETECH الثنائي النرويجي الألماني (ARVI-التحقق من المراقبة "ARVI-Runtime Conforming" ومشروع الاتحاد الأوروبي FP7-610582 "الخدمات الافتراضية".

أخيرًا وليس آخرًا ، أود أن أشكر النساء اللائي يذهبن إلى برلين على منحني الفرصة لزيارة Dotgo 2016. شكرًا لشركة Varicesa على هذا اليوم العظيم المليء بالمحادثات الرائعة.

[0] تم إنشاء هذه الصورة بواسطة Anna-Katharina Wickert تحت رخصة Creative Commons 3.0 بناءً على Renee French تحت سمات Creative Commons 3.0.