use-after-free / double-free exploit mitigation
Federico Manuel Bento
up201407890@fc.up.pt
Sat Sep 9 17:59:00 GMT 2017
>>> On 09/06/2017 02:46 PM, up201407890@alunos.dcc.fc.up.pt wrote:
>>> What are your thoughts on adding a SAFE_FREE() macro to glibc:
>>> #define SAFE_FREE(x) do { if((x) != 0x0) { free(x); (x) = (void
>>> *)0x1; }
>>> } while(0)
>>> After free(x), we set x to an address that will crash when
>>> dereferenced
>>> (use-after-free), and will also crash when it's an argument to
>>> free().
>>> Note that NULL isn't used, because free(NULL) does nothing, which
>>> might
>>> hide potential double-free bugs.
>> Maybe GCC should optionally do this for the actual call to free. There
>> is some debate to what extend pointer *values* remain valid after
>> free.
>> Martin Sebor may have some thought on that.
>> In any case, some GCC assistance is needed so that
>> free (some_struct->ptr);
>> free (some_struct);
>> actually clobbers some_struct->ptr. I don't think we want to call out
>> to explicit_bzero here.
> One of the advantages of doing this in the compiler (besides not
> having to change source code) is distinguishing rvalues from lvalues.
> Martin
Perhaps this sould be used when making use of FORTIFY_SOURCE?
Federico.
More information about the Libc-alpha
mailing list