Hello, I'm studying the source code of KLEE and have a question now.
I don't quite understand the purpose of bindLocal function. Could you please
give me some help about it? Thanks very much!
void Executor::bindLocal(KInstruction *target, ExecutionState &state,
ref<Expr> value)
Thanks
--
Lu Huizhi
[email protected]
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
