[klee-dev] Klee coreutils interpretation errors

[luoluyao at zju.edu.cn]

Hi,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            0x0000000000d13aef
1  klee            0x0000000000d14024
2  libpthread.so.0 0x00007fd3d6079340
3  libc.so.6       0x00007fd3d4dd8cc9 gsignal + 57
4  libc.so.6       0x00007fd3d4ddc0d8 abort + 328
5  libc.so.6       0x00007fd3d4dd1b86
6  libc.so.6       0x00007fd3d4dd1c32
7  klee            0x00000000005358ae main + 10734
8  libc.so.6       0x00007fd3d4dc3ec5 __libc_start_main + 245
9  klee            0x0000000000542502
Aborted (core dumped)

Can anyone please advise?
Best,
   Luyao Luo
 Zhejiang University 
-------------- next part --------------
HTML attachment scrubbed and removed