[klee-dev] How to preserve program variables?

[Qiuping Yi]

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