KLEE: ERROR: unable to load symbol

[李永超]

Hi Everyone: I have been trying to run vim trough klee and generate test cases. Having built vim with llvm, I run following command to run it with klee: klee -libc=uclibc -posix-runtime ./vim.bc -sym-args 3 3 10 -sym-file3 1 20 Instead of test cases, what I got are error info: KLEE: ERROR: unable to load symbol(applicationShellWidgetClass) while initializing globals. A head of which are several undefined refference to funtion warnings.

I hope there will be someone could help me out. Cheeres, Thanks.

[Cristian Cadar]

Hi, most likely you have not compiled all libraries used by vim to LLVM
bitcode.

Best,
Cristian

Post by 李永超
I have been trying to run vim trough klee and generate test cases.
klee -libc=uclibc -posix-runtime ./vim.bc -sym-args 3 3 10
-sym-file3 1 20
KLEE: ERROR: unable to load symbol(applicationShellWidgetClass) while
initializing globals.
A head of which are several undefined refference to funtion warnings.
I hope there will be someone could help me out.
Cheeres, Thanks.
_______________________________________________
klee-dev mailing list
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev