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.

[Sylvain Gault]

Post by 李永超
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.

Hello,

Can't you replace the call to gets() with klee_make_symbolic()? I think
that's how klee is ment to be used.

Sylvain Gault