This is my function which causes the error
void copy_bounds_concrete(char* lower, char* upper, struct bounds* results){
   if (DEBUG)
      printf("%d %d \n", strlen(lower), strlen(upper));
   (*results).lowerBound =(char*) malloc(strlen(lower));
   strcpy((*results).lowerBound, lower);
   (*results).upperBound =(char*) malloc(strlen(upper));
   strcpy((*results).upperBound, upper);
}
and this is the struct bounds:
struct bounds
{
   char* name;
   char* lowerBound;
   char* upperBound;
}
I don't know why I got this pointer error. I have spent couple of hours to figure out but get nothing.
 
    