[klee-dev] Klee coreutils interpretation errors

[Oswaldo Olivo]

Hi,

I also ran into that dead-end when compiling KLEE with LLVM-2.9.

I've been able to test the Coureutils by using LLVM-3.4, which is now the
recommended version for KLEE.

Regards,
 Oswaldo.

On Sun, Dec 13, 2015 at 8:32 PM, <luoluyao at zju.edu.cn> wrote:

> 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
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>
-------------- next part --------------
HTML attachment scrubbed and removed