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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
