[klee-dev] Help needed on generating bitcode

[ANAS faruqui]

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
-------------- next part --------------
HTML attachment scrubbed and removed