[KLEE] docker를 이용한 KLEE 설치

*주의사항

운영체제 : Ubuntu 14.04 로 해야지 정신건강에 좋음

(참조: https://subicura.com/2017/01/19/docker-guide-for-beginners-2.html )

원래는 로컬에 설치할려고했는데 너무 복잡해서 docker를 이용해서 설치를 진행

curl -fsSL https://get.docker.com/ | sudo sh

docker 설치 명령어는 위와 같음

그리고 docker를 매번 사용할 때 마다 앞에 sudo를 붙혀줘야하는데 sudo가 붙이기 귀찮으면 밑에와 같은 명령어 입력

sudo usermod -aG docker $USER # 현재 접속중인 사용자에게 권한주기
sudo usermod -aG docker your-user # your-user 사용자에게 권한주기

docker를 설치 완료하고 이제 klee를 설치를 진행!

(참조: http://klee.github.io/docker/ )

명령어는 다음과 같이 입력

$ docker pull klee/klee

$ git clone https://github.com/klee/klee.git

$ cd klee

$ docker build -t klee/klee .            // 맨 마지막 . 꼭 필요함!!

설치된 klee docker실행!

$ docker run --rm -ti --ulimit='stack=-1:-1' klee/klee    // "--ulimit='stack=-1:-1'" 는 stack 크기를 무제한으로 설정

자 이제 klee를 써보자