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