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
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
