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

[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-***@public.gmane.org
Date: Mon, 15 Jul 2013 19:04:32 -0400
To: klee-dev-AQ/***@public.gmane.org
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

[Urmas Repinski]

Hello, Anas.

The problem is in tutorial 4 step 2 right?

coreutils-6.11$ mkdir obj-llvm
coreutils-6.11$ cd obj-llvm
obj-llvm$ ../configure --disable-nls CFLAGS="-g"
... verify that configure worked ...
obj-llvm$ make CC=/full/path/to/klee/scripts/klee-gcc
obj-llvm$ make -C src arch hostname CC=/full/path/to/klee/scripts/klee-gcc
... verify that make worked ...



Did configure finished with no error?
Possibly you cannot install obj-llvm, because its configure finished with error....
According to error some python2.7 folder does not exists.
Try to install python2.7 then too if configure passed successfully.

Urmas Repinski

From: anas.faruqui-***@public.gmane.org
Date: Tue, 16 Jul 2013 03:43:45 -0400
Subject: Re: [klee-dev] Help needed on generating bitcode
To: urrimus-***@public.gmane.org
CC: klee-dev-AQ/***@public.gmane.org

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-***@public.gmane.org> 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-***@public.gmane.org
Date: Mon, 15 Jul 2013 19:04:32 -0400
To: klee-dev-AQ/***@public.gmane.org


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

[ANAS faruqui]

Yes the problem is in the 4th step. Configure is working, but in the end
says --disable-nls not identified. Without that flag configure shows no
errors.

Python is installed on the system. I believe we need to change the klee-gcc
to something else (maybe llvm-gcc, i tried that but this also showed errors)


On Tue, Jul 16, 2013 at 3:55 AM, Urmas Repinski <urrimus-***@public.gmane.org> wrote:

> Hello, Anas.
>
> The problem is in tutorial 4 step 2 right?
>
> *coreutils-6.11$ mkdir obj-llvm**coreutils-6.11$ cd obj-llvm**obj-llvm$ ../configure --disable-nls CFLAGS="-g"**... verify that configure worked ...**obj-llvm$ make CC=/full/path/to/klee/scripts/klee-gcc**obj-llvm$ make -C src arch hostname CC=/full/path/to/klee/scripts/klee-gcc**... verify that make worked ...
>
>
>
> *Did configure finished with no error?
> Possibly you cannot install obj-llvm, because its configure finished with error....
>
> According to error some python2.7 folder does not exists.
> Try to install python2.7 then too if configure passed successfully.
> **
> Urmas Repinski
>
> ------------------------------
> From: anas.faruqui-***@public.gmane.org
> Date: Tue, 16 Jul 2013 03:43:45 -0400
> Subject: Re: [klee-dev] Help needed on generating bitcode
> To: urrimus-***@public.gmane.org
> CC: klee-dev-AQ/***@public.gmane.org
>
>
> 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-***@public.gmane.org>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-***@public.gmane.org
> Date: Mon, 15 Jul 2013 19:04:32 -0400
> To: klee-dev-AQ/***@public.gmane.org
> 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-AQ/***@public.gmane.org https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>
>

[Urmas Repinski]

Hello,

> Yes the problem is in the 4th step. Configure is working, but in the end says --disable-nls not identified. Without that flag configure shows no errors.
According to the gcc specification
--disable-nlsThe --enable-nls option enables Native Language Support (NLS),
which lets GCC output diagnostics in languages other than American
English. Native Language Support is enabled by default if not doing a
canadian cross build. The --disable-nls option disables NLS.

Have no suggestions.

> Python is installed on the system.
Fine.

> I believe we need to change the klee-gcc to something else (maybe llvm-gcc, i tried that but this also showed errors)

I don't think so.
Did klee were installed with no errors?
The obj-llvm uses klee for its installation, maybe problem is somewhere previous?

Have no suggestions otherwise.

Urmas Repinski

On Tue, Jul 16, 2013 at 3:55 AM, Urmas Repinski <urrimus-***@public.gmane.org> wrote:





Hello, Anas.

The problem is in tutorial 4 step 2 right?

coreutils-6.11$ mkdir obj-llvm
coreutils-6.11$ cd obj-llvm
obj-llvm$ ../configure --disable-nls CFLAGS="-g"
... verify that configure worked ...
obj-llvm$ make CC=/full/path/to/klee/scripts/klee-gcc
obj-llvm$ make -C src arch hostname CC=/full/path/to/klee/scripts/klee-gcc
... verify that make worked ...



Did configure finished with no error?


Possibly you cannot install obj-llvm, because its configure finished with error....


According to error some python2.7 folder does not exists.
Try to install python2.7 then too if configure passed successfully.



Urmas Repinski

From: anas.faruqui-***@public.gmane.org


Date: Tue, 16 Jul 2013 03:43:45 -0400
Subject: Re: [klee-dev] Help needed on generating bitcode
To: urrimus-***@public.gmane.org
CC: klee-dev-AQ/***@public.gmane.org



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-***@public.gmane.org> 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-***@public.gmane.org
Date: Mon, 15 Jul 2013 19:04:32 -0400
To: klee-dev-AQ/***@public.gmane.org




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

[Daniel Liew]

Hi Anas,

klee-gcc is just a hacky python script (take a look at the source :p )
that tries to guess when to invoke the llvm linker and when to invoke
llvm-gcc (this wouldn't be necessary if we supported clang properly!).
The error you see...

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


Is a python stack trace that occurs because the OSError exception is
thrown. Basically this error is being thrown because the program
"llvm-ld" cannot be found. It is likely that you do not have llvm-ld
in your PATH.

Hope that helps,
Dan.

On 16 July 2013 09:12, Urmas Repinski <urrimus-***@public.gmane.org> wrote:
> Hello,
>
>> Yes the problem is in the 4th step. Configure is working, but in the end
>> says --disable-nls not identified. Without that flag configure shows no
>> errors.
>
> According to the gcc specification
> --disable-nlsThe --enable-nls option enables Native Language Support (NLS),
> which lets GCC output diagnostics in languages other than American English.
> Native Language Support is enabled by default if not doing a canadian cross
> build. The --disable-nls option disables NLS. Have no suggestions.
>
>> Python is installed on the system.
> Fine.
>
>
>> I believe we need to change the klee-gcc to something else (maybe
>> llvm-gcc, i tried that but this also showed errors)
>
> I don't think so.
> Did klee were installed with no errors?
> The obj-llvm uses klee for its installation, maybe problem is somewhere
> previous?
>
> Have no suggestions otherwise.
>
> Urmas Repinski
>
>
> On Tue, Jul 16, 2013 at 3:55 AM, Urmas Repinski <urrimus-***@public.gmane.org> wrote:
>
> Hello, Anas.
>
> The problem is in tutorial 4 step 2 right?
>
> coreutils-6.11$ mkdir obj-llvm
> coreutils-6.11$ cd obj-llvm
> obj-llvm$ ../configure --disable-nls CFLAGS="-g"
> ... verify that configure worked ...
> obj-llvm$ make CC=/full/path/to/klee/scripts/klee-gcc
> obj-llvm$ make -C src arch hostname CC=/full/path/to/klee/scripts/klee-gcc
> ... verify that make worked ...
>
>
>
> Did configure finished with no error?
>
>
> Possibly you cannot install obj-llvm, because its configure finished with
> error....
>
>
> According to error some python2.7 folder does not exists.
> Try to install python2.7 then too if configure passed successfully.
>
> Urmas Repinski
>
> ________________________________
> From: anas.faruqui-***@public.gmane.org
> Date: Tue, 16 Jul 2013 03:43:45 -0400
> Subject: Re: [klee-dev] Help needed on generating bitcode
> To: urrimus-***@public.gmane.org
> CC: klee-dev-AQ/***@public.gmane.org
>
>
> 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-***@public.gmane.org> 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-***@public.gmane.org
> Date: Mon, 15 Jul 2013 19:04:32 -0400
> To: klee-dev-AQ/***@public.gmane.org
> 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-AQ/***@public.gmane.org https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
>
>

[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-***@public.gmane.org> 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-***@public.gmane.org
> Date: Mon, 15 Jul 2013 19:04:32 -0400
> To: klee-dev-AQ/***@public.gmane.org
> 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-AQ/***@public.gmane.org https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>