Dear all,
After playing a bit with coreutils, I tried compiling some other
programs with klee-gcc to see how KLEE would work for them. In
particular, I tried gzip-1.5 and bzip-1.0.6.
When I try to run either of these programs, I get the following error
message:
pseudo instructions should be removed before code emission
UNREACHABLE executed at
/home/erik/src/edfi/klee/tools/llvm-2.9/lib/Target/X86/X86CodeEmitter.cpp:719!
0 lli 0x0881ad38
Stack dump:
0. Program arguments: lli bzip2.bc
1. Running pass 'X86 Machine Code Emitter' on function '@main'
Aborted
Does anyone have an idea why this happens and how I can fix it?
I have followed these steps to install KLEE on 32-bit Ubuntu (kernel
version: 2.6.32-45-generic-pae):
- compile llvm-2.9 from source
- compile llvm-gcc-4.2-2.9 from source
- re-compile llvm-2.9 with llvm-gcc in $PATH
- compile SVN revision 940 of STP from source
- compile klee-uclibc-0.02 from source
- compile SVN HEAD of klee from source
After that, I compiled gzip-1.5 and bzip-1.0.6 with klee-gcc, slightly
modified to better recognize the linking phase and to remove more
options in that case.
Thanks in advance.
With kind regards,
Erik van der Kouwe
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
