[klee-dev] Check KLEE exploration trace

[Frank Busse]

Hi,


On Thu, 10 Sep 2020 14:25:21 +0000
XIE Xuan <lebron716 at outlook.com> wrote:

> I would like to know is there a way/tool to check which function KLEE
> is exploring/ get stuck in when KLEE is running? Let’s say I am
> running KLEE on big projects and have no improvement after some time.

"stuck" can mean different things. For instance the solver queries take
too long (reduce the timeout) or states explore already covered code.
You can check coverage etc. with KCacheGrind:

https://klee.github.io/tutorials/testing-coreutils/#step-6-visualizing-klees-progress-with-kcachegrind

or visualise statistics with Grafana:

https://klee.github.io/docs/tools/#live-monitoring-with-grafana


Kind regards,

Frank