Security/소프트웨어 보안
2018. 4. 17.
[KLEE] 설치과정중 libisl10 라이브러리 오류
KLEE설치 과정중 llvm-3.4-dev를 설치할 때 libisl10 라이브러리가 없다며 오류가 뜨는데 다음과 같이 해결 할 수가 있다. 먼저 /etc/apt/sources.list 파일을 수정해야한다 필자는 vim을 이용하여 수정을 진행 그 다음 그림과 같이 한 줄을 추가한다 deb http://cz.archive.ubuntu.com/ubuntu trusty main 이후 다음과 같은 명령어를 차례대로 실행하면 llvm-3.4-dev를 깔 수가 있다. $ sudo apt-get update$ sudo apt-get install libisl10
![[KLEE] 설치과정중 libisl10 라이브러리 오류](http://i1.daumcdn.net/thumb/C480x320/?fname=https://t1.daumcdn.net/cfile/tistory/994439415AD5A92B2E)