handle malloc(0) and free(0) in corruption checker