gotcha

Gotcha - Go T Att CHE ECK 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-Project-это захватывающее , потому что пакеты GO всегда имеют полностью квалифицированный импорт формы "github.com/akwick/gotha/foo". Чтобы избежать переименования импорта (и необходимости исправлять их обратно перед слиянием), должно работать следующее:

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, AllPKGS, PKG и PTRFLAG являются необязательными.
2. Параметр по умолчанию:

• path = github.com/akwick/gotcha
  • Важно изменить путь, если вы не запускаете наши примеры.
• ssf = ./sourcesandsinks.txt
  • Принять этот параметр, если вы хотите использовать свой собственный файл Souces и Sines
• allpkgs = false
  • Проанализируйте все пакеты
• pkgs = ""
  • Только анализируйте определенные пакеты
• ptr = true
  • Проанализировать программу с помощью дополнительного анализа указателя

3. ./analysis -h напечатает короткую помощь для флагов.

Результаты теста

У нас есть несколько тестов, которые обеспечивают некоторую функциональность нашего анализа. Результаты доступны через Jenkins более подробные описания о запуске тестов на вашем компьютере находятся в файлах tests.md

Отлаживать программу

Репозиторий имеет небольшой скрипт оболочки, который может построить файл отладки. Ссылка на команды находится в репозитории Годебуга.

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

Благодарности

Этот анализ является частью моей главной диссертации. Я хочу поблагодарить всех людей, которые были вовлечены в этот процесс: Эрик Бодден, Майкл Эйхберг, Ка -Я Пан, Мартин Штеффен и Волкер Стольц.

Работа была частично поддержана Норвежским двухсторонним проектом ППС GoreTech (методы обеспечения соблюдения Goruntime), действие EU EX IC1402 «ARVI-Проверка управления помимо мониторинга» и проект EU FP7-610582 Envisage: инженерные виртуальные услуги.

И последнее, но не менее важное я хочу поблагодарить женщин, которые отправляются в Берлин за то, что он дал мне возможность посетить Dotgo 2016. Спасибо Ванесу за этот великий день, полный удивительных разговоров.

[0] Это изображение создано Анна-Катариной Викерт по лицензии Creative Commons 3.0 на основе Renee French в рамках Attributions Creative Commons 3.0.