[klee-dev] Klee coreutils interpretation errors

Hayes Converse hayesconverse at gmail.com
Wed Nov 18 21:09:48 GMT 2015


Hey all,

When attempting the klee coreutils tutorial, I've been running up against
an error when I attempt to run the programs with klee, i.e. the command

 klee --libc=uclibc --posix-runtime ./cat.bc --version

Returns an error in the following form:

klee: main.cpp:1110: llvm::Module* linkWithUclibc(llvm::Module*,
llvm::StringRef): Assertion `ft->getNumParams() == 7' failed.
0  klee            0x0000000000d13b3f
1  klee            0x0000000000d14074
2  libpthread.so.0 0x00007fbc24f41340
3  libc.so.6       0x00007fbc23ca0cc9 gsignal + 57
4  libc.so.6       0x00007fbc23ca40d8 abort + 328
5  libc.so.6       0x00007fbc23c99b86
6  libc.so.6       0x00007fbc23c99c32
7  klee            0x00000000005358be main + 10734
8  libc.so.6       0x00007fbc23c8bec5 __libc_start_main + 245
9  klee            0x0000000000542512
Aborted (core dumped)

I've seen a couple posts about this around, but the suggested solution
(installing the JIT patch for Intercept.cpp) hasn't changed anything. I've
tried rebuilding klee-uclibc and klee multiple times. Can anyone please
advise?

Best,

Hayes Converse
University of Texas at Austin
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the klee-dev mailing list