[klee-dev] Help needed on generating bitcode

[Urmas Repinski]

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-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
klee-dev at imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev 		 	   		  
-------------- next part --------------
HTML attachment scrubbed and removed