Hi Klee-Dev,
I am new to Klee but I think that I found a way around the problem
mentioned in this:
http://mailman.ic.ac.uk/pipermail/klee-dev/2013-September/000335.html
thread. (I am also new to mailing lists so I was not sure how to reply to
the thread above directly).
I was receiving the
I do not know the answer to that question.
I know for a fact that KLEE and klee-uclibc will compile on Ubuntu
12.04 LTS because I have used it. However KLEE does compile on very
new distributions (I use Arch Linux which is very new) but currently
klee-uclibc won't compile on very new kernels. We
I upgraded to python 2.7
extract-bc gzip produced gzip.bc
what to do next?
On Sat, Sep 21, 2013 at 2:20 PM, Daniel Liew daniel.l...@imperial.ac.ukwrote:
Oh I forgot to mention that if you really don't feel like upgrading
you could just modify the extract-bc python script by removing the use
I got the same message:
LLVM ERROR: Code generator does not support intrinsic function
'llvm.objectsize.i32'!
So theres no existing solution to this?
On Sat, Sep 21, 2013 at 3:40 PM, Daniel Liew daniel.l...@imperial.ac.ukwrote:
You're done. gzip.bc is a single LLVM module that is equivalent to
One possible workaround is to use an older version of LLVM and
llvm-gcc (I think you would need to use llvm-2.6) that doesn't
generate that intrinsic. I give no guarantees that this would work as
I have not tried using KLEE with this older version.
I've added an issue to the KLEE issue tracker on
Many non GNU projects use autotools so this approach will probably work
with them. Please remember that KLEE does not have a runtime C++ library so
it is unlikely you will be able to run many C++ programs.
CMake is another common build system. You should be able to do something
similar when
Your python install is too old (the argparse module was introduced in
python2.7) you need python 2.7 or later. You can find your current
python version by running
$ python --version
I think you said you were using Ubuntu 10.04 in which case the python
version is probably 2.6.5 . Unless you have
Hi,
I am working on a research project where i need to run multiple file
programs using klee. I am actually testing the gzip utility which contains
a number of .c and .h files. Can you help me in this regard?
Thanks.
-Saikat
___
klee-dev mailing list
Hi Saikat,
From my understanding, every .c file is compiled and then linked to the
final binary. By running KLEE on that binary, you are touching code in all
these source files. And you can verify that by checking the 'gcov' output.
Or maybe I didn't fully understand your concern? Could you
gzip is also maintained by GNU, like Coreutils. So they have the same build
system. The method for Coreutils works for gzip.
just have a try of the following:
$ wget http://ftp.gnu.org/gnu/gzip/gzip-1.6.tar.xz
$ unxz ./gzip-1.6.tar.xz
$ tar xf ./gzip-1.6.tar
$ cd gzip-1.6
$ mkdir obj-llvm
$
10 matches
Mail list logo