blob: 59985141b6bccc5117e2c9ec0579120c9e3fb50d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
# KLEE-Psychic
## Usage
The metaprogram under test is to be built with Clang 12 and the following flags:
-g -O0 -Xclang -disable-O0-optnone
-fsanitize=undefined -fno-sanitize=local-bounds,function,vptr'
Both native executable and LLVM bitcode are needed.
For the bitcode, pass `-emit-llvm -c -DKLEE_RUNTIME` to Clang
KLEE should then be run with the following flags:
--use-visitor-hash=0 --posix-runtime --libc uclibc --ubsan-runtime
|