[klee-dev] How to detect loops in KLEE?

[zhiyuan yang]

Hello everyone,

I need to detect loops in KLEE, and I think I can finish it by adding codes
in Executor.ExecuteInstruction().
However, this function have only the informantion about the current
instruction, so I've no idea about how to finish this task.
Could anyone kindly give me some hints? Thank you very much.

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