[klee-dev] Symbolic input b'\x00'

[Yuanfei Bi]

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
-------------- next part --------------
HTML attachment scrubbed and removed