Wow, this is a nice tool. Thanks, Daniel!
On Thu, Sep 19, 2013 at 10:22 AM, Daniel Liew <[email protected]>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 <[email protected]> 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 > > <[email protected]> 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 <[email protected]> > 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 > >>> <[email protected]> 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 > >>>> [email protected] > >>>> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev > >>>> > >>> > >>> > >>> > >>> -- > >>> Best regards, > >>> Lei Zhang > >> > >> > > > > > > > > -- > > Best regards, > > Lei Zhang > -- Best regards, Lei Zhang
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
