[klee-dev] Running Multifile Applications using Klee

[Lei Zhang]

gzip is also maintained by GNU, like Coreutils. So they have the same build
system. The method for Coreutils works for gzip.

just have a try of the following:

$ wget http://ftp.gnu.org/gnu/gzip/gzip-1.6.tar.xz
$ unxz ./gzip-1.6.tar.xz
$ tar xf ./gzip-1.6.tar
$ cd gzip-1.6
$ mkdir obj-llvm
$ ../configure CFLAGS="-g"
$ make CC=`which klee-gcc`

This will generate the gzip.bc without problems.


On Wed, Sep 18, 2013 at 2:35 PM, Saikat Dutta <saikatdutta.pro2011 at gmail.com
> wrote:

> Hi,
> I was talking about multiple file programs containing multiple .c and .h
> files. For klee to run it is required to compile the code with llvm-gcc. I
> have used klee for single file programs. But I am not sure on how to use
> klee over such multiple file applications. Will putting CC variable in the
> makefile as llvm-gcc do the job? It will be best if you can send me an
> example over how to do that. Please do help. I am in urgent need.
> Thanks.
> -Saikat
>
>
> On Wed, Sep 18, 2013 at 11:51 PM, Lei Zhang <antiagainst at gmail.com> wrote:
>
>> Hi Saikat,
>>
>> From my understanding, every .c file is compiled and then linked to the
>> final binary. By running KLEE on that binary, you are touching code in all
>> these source files. And you can verify that by checking the 'gcov' output.
>>
>> Or maybe I didn't fully understand your concern? Could you specify your
>> tasks more clearly?
>>
>>
>> On Tue, Sep 17, 2013 at 2:25 PM, Saikat Dutta <
>> saikatdutta.pro2011 at gmail.com> wrote:
>>
>>> Hi,
>>> I am working on a research project where i need to run multiple file
>>> programs using klee. I am actually testing the gzip utility which contains
>>> a number of .c and .h files. Can you help me in this regard?
>>>
>>> Thanks.
>>> -Saikat
>>>
>>> _______________________________________________
>>> klee-dev mailing list
>>> klee-dev at imperial.ac.uk
>>> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>>>
>>>
>>
>>
>> --
>> Best regards,
>> Lei Zhang
>>
>
>


-- 
Best regards,
Lei Zhang
-------------- next part --------------
HTML attachment scrubbed and removed