Hi Sandip,
Those constants are most likely derived from concrete addresses, but you
should try to simplify the program as much as possible and send a full
program that can be compiled and run.
Best,
Cristian
On 02/05/2022 19:22, Sandip Ghosal wrote:
Hello,
I need help in understanding a
Hello,
I need help in understanding a kquery file generated by KLEE.
Consider the following C program:
void* foo(struct node *item1. struct node *item2){
if(item1 == item2){
item1->next = NULL;
}
return item1;
}
void main(){
struct list *array[3];