gotcha

GOTCHA -GO t aint ch eck a nalysis

[0]

이 저장소에 대한 일부 이론적 배경은 GO에 대한 정보 흐름 분석에 제공됩니다. 프로젝트에 대한 자세한 내용은 승인을 확인하십시오.

로컬 컴퓨터에 Gotcha의 요구 사항 및 설치

0. GO 설치
1. 1.8 미만으로 이동하십시오
   • $GOPATH 설정했는지 확인하십시오
   • export GOPATH=$HOME/go on unix 시스템으로 $GOPATH EG 설정
2. go get github.com/akwick/gotcha

또 다른 변형은 Docker 이미지에 Gotcha를 설치하는 것입니다. 이는 비슷한 방식으로 수행 할 수 있습니다. 골랑 컨테이너를 시작 하고이 컨테이너 내에서 GO GET 명령을 실행하십시오 (2 단계).

분석을 구축하십시오

0. CD $ gopath/src/github.com/akwick/gotcha
1. 가십시오

자신의 포크에서 일합니다

GO 패키지는 항상 "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 당신의 : repo/gotcha (또는 ln -s path/to/gotcha.)

분석을 실행하십시오

0. ./gotcha -path = "$ gopath/src"-src = "go -files 로의 경로"-ssf = "소스 및 싱크 파일로의 경로" ./analysis -src="tests/exampleCode/hello.go"
1. -SRC 플래그는 필수, 경로, SSF, AllPKG, PKG 및 Ptrflag는 선택 사항입니다.
2. 기본 매개 변수는 다음과 같습니다.

• 경로 = github.com/akwick/gotcha
  • 예제를 실행하지 않으면 경로를 변경하는 것이 중요합니다.
• ssf = ./sourcesandsinks.txt
  • 자신의 souces and sinks 파일을 사용하려면이 매개 변수를 채택하십시오.
• allpkgs = false
  • 모든 패키지를 분석하십시오
• pkgs = ""
  • 정의 된 패키지 만 분석하십시오
• ptr = true
  • 추가 포인터 분석으로 프로그램을 분석하십시오

3. ./analysis -h 깃발에 대한 짧은 도움을 인쇄합니다.

테스트 결과

분석의 기능을 보장하는 몇 가지 테스트가 있습니다. 결과는 jenkins를 통해 사용할 수 있습니다. 컴퓨터에서 테스트 실행에 대한 자세한 설명은 파일 테스트 에 있습니다.

프로그램을 디버그하십시오

저장소에는 디버그 파일을 작성할 수있는 작은 쉘 스크립트가 있습니다. 명령에 대한 참조는 Godebug의 저장소에 있습니다.

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

감사의 말

이 분석은 마스터 논문의 일부입니다. Eric Bodden, Michael Eichberg, KA I Pun, Martin Steffen 및 Volker Stolz 등이 과정에 참여한 모든 사람들에게 감사드립니다.

이 작업은 노르웨이-독일의 양자 PPP 프로젝트 GORETECH (Goruntime Enforcement Techniques), EU 비용 조치 IC1402“ARVI — Runtime Verification Monitoring 이상의 모니터링”및 EU 프로젝트 FP7-610582 ENGINGING에 의해 부분적으로 지원되었습니다.

마지막으로, 나는 Dotgo 2016을 방문 할 기회를 주신 베를린에 가고있는 여성들에게 감사하고 싶습니다. 멋진 대화로 가득 찬이 멋진 날에 Vanesa에게 감사드립니다.

[0]이 이미지는 Creative Commons 3.0 속성에 따라 Renee French를 기반으로 Creative Commons 3.0 라이센스에 따라 Anna-Katharina Wickert에 의해 만들어졌습니다.