[klee-dev] about klee inputs

[Dan Liew]

On 11 March 2015 at 17:13, douglas schroeder <douglaz88 at gmail.com> wrote:
> Hello, thanks for the reply.
> another question.
> in my tests, almost all generated inputs are zeros.
>
>  0: name: 'string'
> object    0: size: 8
> object    0: data: '\x00\x00\x00\x00\x00\x00\x00\x00'
> object    1: name: 'data'
> object    1: size: 1
> object    1: data: '\x00'
>
> is there a way to improve the generation of inputs?
>

I don't know, but what is your definition of improve?

Also please make sure you keep klee-dev CC'ed so that the discussion
remains public.