Hi,
You can make pointers symbolic in KLEE, but this might not accomplish
what you hope. Making a pointer symbolic means it can refer to any
address in memory, including invalid ones.
Best,
Cristian
On 04/03/2022 08:37, Sandip Ghosal wrote:
Hello Everyone,
Can somebody help me to make a
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