Discussion:
How to make stdin symbolic?
(too old to reply)
李永超
2014-07-28 11:33:51 UTC
Permalink
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
2014-07-30 20:37:04 UTC
Permalink
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

Loading...