about summary refs log tree commit diff homepage
path: root/README-psychic.md
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