[klee-dev] about klee inputs

[douglas schroeder]

Hello
By improve I meant to use values that actually makes the program reach more
coverage, or more branches.
Another question: Is there a option to disable the verifications that Klee
does? I just need the inputs that results in
the best coverage. I don't want to actualy verify the code with Klee. Is is
possible?
Thank you.

2015-03-11 14:16 GMT-03:00 Dan Liew <dan at su-root.co.uk>:

> 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.
>



-- 
DOUGLAS SCHROEDER
FLORIANÓPOLIS-SC
-------------- next part --------------
HTML attachment scrubbed and removed