Hi list, I am very new to KLEE and have some questions. I would appreciate if you could answer the followings:
- Is there a way to read/write intermediate symbolic states of KLEE to files? If not, would it be simple to implement? I would appreciate if you could point out some files to be changed. - If a value is not defined externally and not observed by KLEE, how does KLEE handle it? It has the same mechanism as the UC-KLEE paper? (lazy constraint) Thanks, Kihong _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
