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