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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
