[klee-dev] How to make stdin symbolic?

[李永超]

Hi,
How can I make stdin symbolic? I have tried to use --sym-files as it is said in OSDI`08 paper. 
But it seems not work when KLEE executes gets(). The execution still hangs up, waiting for inputs.


Now that --sym-files does not work in my case, what should I do to actually make stdin symbolic?


Thanks,
Yongchao.
-------------- next part --------------
HTML attachment scrubbed and removed