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

[Alberto Barbaro]

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 <byf1986 at gmail.com 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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
-------------- next part --------------
HTML attachment scrubbed and removed