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: [email protected] Date: Mon, 15 Jul 2013 19:04:32 -0400 To: [email protected] 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-recursivemake[1]: Entering directory `/home/john/gzip-1.6/obj-llvm' Making all in libmake[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 docmake[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 directorymake[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 [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
