[klee-dev] Running Multifile Applications using Klee

[Daniel Liew]

If it helps there is a very nice tool called wllvm which acts as a
wrapper to clang which you can use to build whole programs in native
form and LLVM bitcode form.

The original author's code is at https://github.com/travitch/whole-program-llvm

I have a fork of this which adds a bunch of features that you may find useful

https://github.com/delcypher/whole-program-llvm

Thanks,
Dan.

On 18 September 2013 19:57, Lei Zhang <antiagainst at gmail.com> wrote:
> 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