[prev in list] [next in list] [prev in thread] [next in thread] 

List:       klee-dev
Subject:    [klee-dev] Klee coreutils interpretation errors
From:       Hayes Converse <hayesconverse () gmail ! com>
Date:       2015-11-18 21:09:48
Message-ID: CALgQKR4nY0-zKwdogwMW69CrpDvoPb+PZbsmJcOB3gGvKiWwng () mail ! gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


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

[Attachment #5 (text/html)]

<div dir="ltr"><div><div>Hey all,<br><br></div>When attempting the klee coreutils \
tutorial, I&#39;ve been running up against an error when I attempt to run the \
programs with klee, i.e. the command <br><br>  klee --libc=uclibc --posix-runtime \
./cat.bc --version<br><br></div><div>Returns an error in the following \
form:<br><br>klee: main.cpp:1110: llvm::Module* linkWithUclibc(llvm::Module*, \
llvm::StringRef): Assertion `ft-&gt;getNumParams() == 7&#39; failed.<br>0   klee      \
0x0000000000d13b3f<br>1   klee                       0x0000000000d14074<br>2   \
libpthread.so.0 0x00007fbc24f41340<br>3   libc.so.6             0x00007fbc23ca0cc9 \
gsignal + 57<br>4   libc.so.6             0x00007fbc23ca40d8 abort + 328<br>5   \
libc.so.6             0x00007fbc23c99b86<br>6   libc.so.6             \
0x00007fbc23c99c32<br>7   klee                       0x00000000005358be main + \
10734<br>8   libc.so.6             0x00007fbc23c8bec5 __libc_start_main + 245<br>9   \
klee                       0x0000000000542512<br>Aborted (core \
dumped)<br><br></div><div>I&#39;ve seen a couple posts about this around, but the \
suggested solution (installing the JIT patch for Intercept.cpp) hasn&#39;t changed \
anything. I&#39;ve tried rebuilding klee-uclibc and klee multiple times. Can anyone \
please advise?<br><br></div><div>Best,<br><br></div><div>Hayes Converse \
<br></div><div>University of Texas at Austin<br></div></div>



_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev


[prev in list] [next in list] [prev in thread] [next in thread]