...
  buf = malloc(intSize);
...
  free(buf); 
  buf = NULL;
  if(buf) free(buf); // GOOD
...

...
  buf = malloc(intSize);
...
  free(buf); 
  if(buf) free(buf); // BAD: the cleanup function does not zero out the pointer
...
