[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