Re: [PATCH] tools: Fix use-after-free for realloc(..., 0)

From: Josh Poimboeuf
Date: Sat Feb 12 2022 - 20:09:58 EST


On Sat, Feb 12, 2022 at 10:18:55AM -0800, Kees Cook wrote:
> static inline void *xrealloc(void *ptr, size_t size)
> {
> - void *ret = realloc(ptr, size);
> - if (!ret && !size)
> - ret = realloc(ptr, 1);
> + void *ret;
> +
> + /*
> + * Convert a zero-sized allocation into 1 byte, since
> + * realloc(ptr, 0) means free(ptr), but we don't want
> + * to release the memory. For a new allocation (when
> + * ptr == NULL), avoid triggering NULL-checking error
> + * conditions for zero-sized allocations.
> + */
> + if (!size)
> + size = 1;
> + ret = realloc(ptr, size);
> if (!ret) {
> - ret = realloc(ptr, size);
> - if (!ret && !size)
> - ret = realloc(ptr, 1);
> - if (!ret)
> - die("Out of memory, realloc failed");
> + /*
> + * If realloc() fails, the original block is left untouched;
> + * it is not freed or moved.
> + */
> + die("Out of memory, realloc failed");

xrealloc() only has two uses -- both via ALLOC_GROW() -- and they don't
rely on the 'size == 0' freeing anyway. How about simplifying this
further to just:

ret = realloc(ptr, size);
if (!ret)
die("Out of memory, realloc failed");

Much easier to grok, and as a bonus, we don't need the long comments :-)

--
Josh