Security/소프트웨어 보안
2018. 4. 17.
[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 사용자에게 권한주..