[klee-dev] Wllvm cannot find klee

[Saikat Dutta]

Hi,
I am using klee over multiple file application. How to do it at make or
configure step?


On Fri, Oct 4, 2013 at 3:38 PM, Daniel Liew <daniel.liew at imperial.ac.uk>wrote:

> You can try linking to "libkleeRunTest.so" in KLEE's binary build folder.
>
> You need something like
>
> wllvm  -g -O0 -Wall -funsigned-char  -I /path/to/klee_source/include
> -o bc  main.o bc.o scan.o execute.o load.o storage.o util.o global.o
> ../lib/libbc.a -lfl -L /path/to/klee_build/Release+Asserts/lib
> -Wl,-rpath=/path/to/klee_build/Relase+Asserts/lib -lkleeRunTest
>
> And your program using klee_make_symbolic should have #include
> <klee/klee.h> in it somewhere.
>
> As for making the build system set the right flags, you are on your own.
>
> On 4 October 2013 08:03, Saikat Dutta <saikatdutta.pro2011 at gmail.com>
> wrote:
> > Hi,
> > I was executing bc-1.06 using the following steps:
> > CC="wllvm" CFLAGS="-g -O0" ./configure
> > make CC="wllvm"
> > It results in the following error:
> > wllvm  -g -O0 -Wall -funsigned-char  -o bc  main.o bc.o scan.o execute.o
> > load.o storage.o util.o global.o ../lib/libbc.a -lfl
> > main.o: In function `main':
> > /home/saikat/Downloads/bc_gprof/bc//main.c:163: undefined reference to
> > `klee_make_symbolic'
> > /home/saikat/Downloads/bc_gprof/bc//main.c:164: undefined reference to
> > `klee_make_symbolic'
> > /home/saikat/Downloads/bc_gprof/bc//main.c:167: undefined reference to
> > `klee_make_symbolic'
> > /home/saikat/Downloads/bc_gprof/bc//main.c:168: undefined reference to
> > `klee_make_symbolic'
> > /home/saikat/Downloads/bc_gprof/bc//main.c:169: undefined reference to
> > `klee_make_symbolic'
> > main.o:/home/saikat/Downloads/bc_gprof/bc//main.c:170: more undefined
> > references to `klee_make_symbolic' follow
> > collect2: ld returned 1 exit status
> > make[2]: *** [bc] Error 1
> > make[2]: Leaving directory `/home/saikat/Downloads/bc_gprof/bc'
> > make[1]: *** [all-recursive] Error 1
> > make[1]: Leaving directory `/home/saikat/Downloads/bc_gprof'
> > make: *** [all-recursive-am] Error 2
> >
> >
> > How do i include klee's library during make step?
> >
>
-------------- next part --------------
HTML attachment scrubbed and removed