[klee-dev] Help needed on generating bitcode

[ANAS faruqui]

Hi Urmas,

Thanks for the reply.

I am actually referring to the 4th tutorial, the core-utils one.

I want to run klee on gzip 1.6. This is an open source soft, and one needs
to do configure and make to generate the binaries, similar to what is done
in core-utils tutorial, but the same commands are not working. Maybe you
can throw some light on that.

Thanks
-Anas

On Tue, Jul 16, 2013 at 3:39 AM, Urmas Repinski <urrimus at hotmail.com> wrote:

> Hello, Anas.
>
> The thing is that according to the tutorial you should use llvm-gcc to
> compile KLEE instrumented program.
> http://klee.llvm.org/Tutorial-1.html
> llvm-gcc --emit-llvm -c -g get_sign.c
>
> I had installed llvm-gcc using terminal command line, "apt-get install
> llvm-gcc" and this worked fine for me.
>
> If default version does not compile instrumented code, then you can try to
> download and install previous version,
> http://llvm.org/releases/download.html .
>
> Urmas Repinski.
>
>
> ------------------------------
> From: anas.faruqui at gmail.com
> Date: Mon, 15 Jul 2013 19:04:32 -0400
> To: klee-dev at imperial.ac.uk
> Subject: [klee-dev] Help needed on generating bitcode
>
>
> Hi Everyone,
>
> I am new to this area. I am trying to run KLEE on gzip 1.6, but am unable
> to gerate the llvm bitcode.
>
>  I used the  *make CC=/full/path/to/klee/scripts/klee-gcc  *command as
> described in the tutorial. But it is giving this error
>
> *make  all-recursive*
> *make[1]: Entering directory `/home/john/gzip-1.6/obj-llvm'*
> *Making all in lib*
> *make[2]: Entering directory `/home/john/gzip-1.6/obj-llvm/lib'*
> *make  all-am*
> *make[3]: Entering directory `/home/john/gzip-1.6/obj-llvm/lib'*
> *make[3]: Leaving directory `/home/john/gzip-1.6/obj-llvm/lib'*
> *make[2]: Leaving directory `/home/john/gzip-1.6/obj-llvm/lib'*
> *Making all in doc*
> *make[2]: Entering directory `/home/john/gzip-1.6/obj-llvm/doc'*
> *make[2]: Nothing to be done for `all'.*
> *make[2]: Leaving directory `/home/john/gzip-1.6/obj-llvm/doc'*
> *Making all in .*
> *make[2]: Entering directory `/home/john/gzip-1.6/obj-llvm'*
> *  CCLD     gzip*
> *Traceback (most recent call last):*
> *  File "/home/john/work/klee/scripts/klee-gcc", line 34, in <module>*
> *    main()*
> *  File "/home/john/work/klee/scripts/klee-gcc", line 30, in main*
> *    os.execvp("llvm-ld", ["llvm-ld", "--disable-opt"] + linkArgs)*
> *  File "/usr/lib/python2.7/os.py", line 344, in execvp*
> *    _execvpe(file, args)*
> *  File "/usr/lib/python2.7/os.py", line 380, in _execvpe*
> *    func(fullname, *argrest)*
> *OSError: [Errno 2] No such file or directory*
> *make[2]: *** [gzip] Error 1*
> *make[2]: Leaving directory `/home/john/gzip-1.6/obj-llvm'*
> *make[1]: *** [all-recursive] Error 1*
> *make[1]: Leaving directory `/home/john/gzip-1.6/obj-llvm'*
> *make: *** [all] Error 2*
>
>
> Any suggestion on how i can generate the bit code
>
> Thanks
> -Anas
>
> _______________________________________________ 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