prosyslab-classroom / environment Goto Github PK

연구실 서버에서 쓰는 ocaml 4.13.1 과 llvm 13 으로 올리기

setup-kcloud.sh 실행시,
install-ocaml.sh, install-llvm-toolchain.sh 을 scp로 서버에 가져다 쓰는 방식으로 수정함.

실제 KCloud 환경에서 테스트 필요.

0. 본 레포지토리의 install_klee.sh를 실행한다.
1. 원하는 C 파일에 #include klee.h를 삽입한다. 이 때 klee.h는 klee의 홈 디렉토리의 include/klee 아래에 있다. 0번을 따랐다면 klee의 홈 디렉토리는 ~/klee일 것이다.
2. 기호 실행을 원하는 변수가 a라 한다면 다음과 같이 표시한다. klee_make_symbolic(&a, sizeof(a), "a");
3. 다음 명령어로 소스를 빌드한다. clang -I [klee home directory]/include -emit-llvm -c -g -O0 -Xclang -disable-O0-optnone [target code].c
4. 다음 명령어로 klee를 실행한다. klee [target code].bc

• core