[klee-dev] Read/write symbolic state

[Kihong Heo]

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