[klee-dev] Running Multifile Applications using Klee

[Lei Zhang]

Wow, this is a nice tool. Thanks, Daniel!


On Thu, Sep 19, 2013 at 10:22 AM, Daniel Liew <daniel.liew at imperial.ac.uk>wrote:

> 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
>



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