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
