[klee-dev] Klee path statistics and merging options

[RAJDEEP MUKHERJEE]

Hi,

I have the following queries regarding Klee. I would really appreciate any
help.

1> How to obtain the following statistics from Klee:
  A> Total number of feasible paths,
  B> Total number of infeasible paths,
  C> Total number of paths in the program.
  D> Total number of solver queries and
  E> Total time spent in solver

2> Does Klee perform any state merging or path-merging ? What option to use
for this ?

3> Does Klee perform property driven slicing before it begins symbolic
execution ?

Many thanks in advance.

Best,
Rajdeep

--
-------------- next part --------------
HTML attachment scrubbed and removed