[klee-dev] How to make stdin symbolic?

[Sylvain Gault]

On Mon, Jul 28, 2014 at 07:33:51PM +0800, 李永超 wrote:
> 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