Немедленное обнаружение ошибок повреждения кучи в Windows. Как?

Это не поймает:

• использование неинициализированной памяти (как только ваш указатель выделен, вы можете читать мусор из него по желанию)
• переполнение буфера (если вы не переполните границу PageSize)

В идеале вы должны написать хорошо известную битовую комбинацию до и после выделенных блоков, чтобы operator delete может проверить, были ли они перезаписаны (указано, что буфер переполнен или недостаточно загружен).

В настоящее время это будет разрешено в вашей схеме, и переключиться обратно на malloc и т. д. позволит молча повредить кучу, и позже появится как ошибка (например, при освобождении блока после переполнения).

Вы не можете поймать все, хотя: обратите внимание, например, что если основной проблемой является (действительный) указатель, который где-то перезаписывается мусором, вы не сможете обнаружить это, пока не будет удалена ссылка на поврежденный указатель.

Да, ваш текущий ответ может пропустить кучу повреждений буфер под- а также перерасход.

Ваш удалять() функция довольно хорошая!

Я реализовал новый () функционируют аналогичным образом, добавляя защитные страницы как для переполнения, так и для переполнения.
От GFlags Из документации я делаю вывод, что она защищает только от переполнения.

Обратите внимание, что при возврате простого указателя рядом со страницей защиты от опустошения страница защиты для переполнения, вероятно, будет расположена вдали от выделенного объекта и Непосредственная близость после того, как выделенный объект НЕ охраняется.

Чтобы компенсировать это, необходимо вернуть такой указатель, чтобы объект находился непосредственно перед защитной страницей переполнения (в этом случае повторное опустошение с меньшей вероятностью будет обнаружено).

Приведенный ниже код выполняет одно или другое попеременно для каждого вызова новый (). Или можно захотеть изменить его, чтобы вместо него использовать генератор случайных потоков, чтобы предотвратить любые помехи в коде, вызывающем новый ().

Принимая во внимание все это, следует помнить, что обнаружение недостаточного или переполнения с помощью приведенного ниже кода все еще является вероятностным в некоторой степени — это особенно актуально в случае, когда некоторые объекты выделяются только один раз на протяжении всей продолжительности программы.

NB! Так как новый () возвращает измененный адрес, удалять() Функция также должна быть немного скорректирована, так что теперь она использует mbi.AllocationBase вместо PTR за VirtualFree () а также VirtualProtect ().

PS. Проверка драйверов«s Специальный бассейн использует похожие трюки.

volatile LONG priorityForUnderrun = rand(); //NB! init with rand so that the pattern is different across program runs and different checks are applied to global singleton objects

void ProtectMemRegion(void* region_ptr, size_t sizeWithGuardPages)
{
size_t preRegionGuardPageAddress = (size_t)region_ptr;
size_t postRegionGuardPageAddress = (size_t)(region_ptr) + sizeWithGuardPages - PageSize;

DWORD flOldProtect1;
BOOL preRegionProtectSuccess = VirtualProtect(
(void*)(preRegionGuardPageAddress),
pageSize,
PAGE_NOACCESS,
&flOldProtect1
);

DWORD flOldProtect2;
BOOL postRegionProtectSuccess = VirtualProtect(
(void*)(postRegionGuardPageAddress),
PageSize,
PAGE_NOACCESS,
&flOldProtect2
);
}

void* operator new (size_t size)
{
size_t sizeWithGuardPages = (size + PageSize - 1) / PageSize * PageSize + 2 * PageSize;

void* ptr = VirtualAlloc
(
NULL,
sizeWithGuardPages,
MEM_COMMIT | MEM_RESERVE,
PAGE_READWRITE
);

if (ptr == NULL)    //NB! check for allocation failures
{
return NULL;
}

ProtectMemRegion(ptr, sizeWithGuardPages);

void* result;
if (InterlockedIncrement(&priorityForUnderrun) % 2)
result = (void*)((size_t)(ptr) + pageSize);
else
result = (void*)(((size_t)(ptr) + sizeWithGuardPages - pageSize - size) / sizeof(size_t) * sizeof(size_t));

return result;
}

void operator delete (void* ptr)
{
MEMORY_BASIC_INFORMATION mbi;
DWORD OldProtect;

VirtualQuery(ptr, &mbi, sizeof(mbi));
// leave pages in reserved state, but free the physical memory
VirtualFree(mbi.AllocationBase, 0, MEM_DECOMMIT);
// protect the address space, so noone can access those pages
VirtualProtect(mbi.AllocationBase, mbi.RegionSize, PAGE_NOACCESS, &OldProtect);
}