Hi Yuanfei, Please have a look at the end of https://klee.github.io/tutorials/testing-function/ , it should describe what you need.
Thanks On Tue, Nov 13, 2018, 22:52 Yuanfei Bi <[email protected] wrote: > Hi, all, > > I run klee and got following result from ktest-tool: > > object 1: name: b'arg0' > object 1: size: 41 > object 1: data: > b'\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00' > > I think the \x00 means null, how can I pass this parameter to > uninstrumented program to reproduce the desired behavior? > > Thanks. > > Yuanfei > _______________________________________________ > klee-dev mailing list > [email protected] > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
