2014-07-28 11:33:51 UTC
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?