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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
