zhiyuan yang
2013-03-28 03:58:39 UTC
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
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