[klee-dev] Klee options

[Zhiyi Zhang]

Hi All,

During I am run the experiment of klee,I have some question about klee's
options.

1, When I use the order to run klee: klee --libc=uclibc --posix-runtime
./echo.bc --sym-arg 3 , which options are enabled by default?

2, I am trying to reproduce the experiment in the paper OSDI08. It compared
the time using None, Independence, Cex.cache and All. I read the klee help
but I can not ensure the options about the optimizations still. Did you use
the following options when you did the  the experiment in the paper OSDI08?

1),for non-optimization: klee.cde --disable-opt
--libc=uclibc --posix-runtime ./echo.bc --sym-arg 3*
2)or cex-caching: klee.cde --use-cex-cache --libc=uclibc --posix-runtime
./echo.bc --sym-arg 3*
3)for independence optimization:klee.cde --use-independent-solver
--libc=uclibc --posix-runtime  ./echo.bc --sym-arg 3*
4)for
all: :klee.cde --use-cex-cache --libc=uclibc --posix-runtime
--use-independent-solver ./echo.bc
--sym-arg 3*

If these options are not right, could you tell me which options were used
when you did the experiment in the paper OSDI08?

I am very interesting in Klee. Hope for your reply as soon as possible.

Thank you very much.
Zhiyi Zhang
-------------- next part --------------
HTML attachment scrubbed and removed