[klee-dev] Need help in making a structure pointer symbolic

[Sandip Ghosal]

Hello Everyone,

Can somebody help me to make a pointer to a structure symbolic?

For example, I have a linked list node, and I am trying to make the pointer
to the structure symbolic as follows:

struct Node{
   int data;
   struct Node *next;
}

struct Node *node = NULL;

node = (struct Node*)malloc(sizeof(struct Node))

klee_make_symbolic(node, sizeof(struct Node *), "e1");


Now what I understand is that Klee is not able to make memory address
symbolic probably because of infinite address space. Please let me know if
this is the limitation of Klee or there is some other way for making a
pointer variable symbolic.

Thanks in advance.

-- 
Thanks & Regards
Sandip Ghosal
-------------- next part --------------
HTML attachment scrubbed and removed