[klee-dev] Complete Input with klee

[ANAS faruqui]

Thanks for your reply.

i am looking for a way where i can guide a condition to be always true or
false. Is there a way through which i can tell klee to do that?


On Mon, Oct 28, 2013 at 12:20 AM, Loi Luu <loi.luuthe at gmail.com> wrote:

> So I think you want something like klee_assume(a != 5 & b != 5 & c !5)
>
> Thanks,
>
>
> On Mon, Oct 28, 2013 at 12:06 PM, ANAS faruqui <anas.faruqui at gmail.com>wrote:
>
>> Hello all,
>>
>> I want klee to output only the complete inputs and do not take the early
>> termination paths.
>>
>> For example : if we have a code as following
>>
>> int a, b, c;
>>
>> if(a==5)
>> exit(1);
>>
>> if (b==5)
>> exit(1);
>>
>> if (c==5)
>> exit(1);
>>
>> printf("success")'
>>
>> KLEE gives me many cases which include a or b or c = 5.
>>
>> What changes can i do (in KLEE   or in the code) so that it will only
>> output cases which would contain all a, b, c, !=5.
>>
>> In other words can I force klee to make a condition always false or true?
>>
>>
>> thanks
>>
>> _______________________________________________
>> klee-dev mailing list
>> klee-dev at imperial.ac.uk
>> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>>
>>
>
>
> --
> Loi, Luu The (Mr.)
> RA at Security Lab, SoC, NUS
>
-------------- next part --------------
HTML attachment scrubbed and removed