gdb+memory sanitiser compatibility