[klee-dev] How to preserve program variables?

[Qiuping Yi]

*I found the bytecode before linking had program variables, but the
generated target object had non. why?*
*
*
*Because during the 'make' step, I encountered an error: *

/home/guest/installed/klee/scripts/klee-gcc -Wdeclaration-after-statement
-Wall -g   -o find ftsfind.o ./libfindtools.a ../lib/libfind.a
../gnulib/lib/libgnulib.a  -lrt     -lm -lm
/usr/bin/ld.bfd.real: cannot find crt1.o: No such file or directory
/usr/bin/ld.bfd.real: cannot find crti.o: No such file or directory
ftsfind.o: file not recognized: File format not recognized
collect2: ld returned 1 exit status

*so I use the next command by hand instead:*
llvm-ld -o find ftsfind.o ./libfindtools.a ../lib/libfind.a
../gnulib/lib/libgnulib.a  -L /usr/lib32/ -lrt -lm -lm

*when '-disable-opt' was added, the same output was generated. *

llvm-ld -disable-opt -o find ftsfind.o ./libfindtools.a ../lib/libfind.a
../gnulib/lib/libgnulib.a  -L /usr/lib32/ -lrt -lm -lm

*Does some error in my llvm-ld command? *




--------------------------------------------
Qiuping Yi
Institute Of Software
Chinese Academy of Sciences


On Fri, Nov 1, 2013 at 4:20 PM, Qiuping Yi <yiqiuping at gmail.com> wrote:

> I am using klee-gcc to compile 'findutils', but I don't know why the
> variables are all replaced with temp variables(such as %10), how can I
> generate the bytecode and reserve the program variables. I used the next
> commands without any optimization options:
>
>
>    1.
>
>    $ ../configure --disable-nls CFLAGS="-g"
>    2.
>
>    $ make CC=/home/guest/installed/klee/scripts/klee-gcc
>
>
> --------------------------------------------
> Qiuping Yi
> Institute Of Software
> Chinese Academy of Sciences
>
-------------- next part --------------
HTML attachment scrubbed and removed