Hi Natasha,
Can you please give filename and line number(s) where the fork method is
invoked due to variable being changed to symbolic.
--
Thanks and Regards,
Sumit
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/l
Hi,
I was reading Expr.h file and I came across the following defined in class
Expr:
enum Kind{
.
.
.
/// Prevents optimization below the given expression. Used for
/// testing: make equality constraints that KLEE will not use to
/// optimize to concretes.
NotOpti
Hi Dan,
I apologize for the ambiguity. What I meant was this: Suppose I want to
introduce a new integer symbolic variable named "temp" (which is not
declared in the test program originally) so that I can perform memory
operations (read / write) on it, then how can I do it.
--
Thanks and Regards,
On 4 April 2016 at 15:34, Sumit Kumar wrote:
> Hi,
>
> Can anyone please tell me how to introduce a new (not declared in test
> program) symbolic variable from within KLEE.
Your question is not specific enough. "symbolic variable" here could
mean several different things. E.g. you could just mak
On 4 April 2016 at 17:55, Azizul Hakim wrote:
> Thanks Dan. I can also print the constraints in the format below. Do you
> happen to have any idea where I can get a documentation of this format?
>
>
>
> (query [(Eq false
> (Eq (w32 0x0)
> (And w32 (Add w32 (w32 0x
Hi,
On 4 April 2016 at 16:22, Sumit Kumar wrote:
> Hi,
>
> I was reading Expr.h file when I came across this comment:
>
> Steps required for adding an expr:
> -# Add case to printKind
> -# Add to ExprVisitor
> -# Add to IVC (implied value concretization) if poss
Hi,
I was reading Expr.h file when I came across this comment:
Steps required for adding an expr:
-# Add case to printKind
-# Add to ExprVisitor
-# Add to IVC (implied value concretization) if possible
Can anyone please explain the above in anyway possible (bri
Hi,
Can anyone please tell me how to introduce a new (not declared in test
program) symbolic variable from within KLEE.
--
Thanks and Regards,
Sumit
___
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
