c++ - App Verifier 错误模式 `fafa` 的意义是什么？

Question

我的程序在应用程序验证程序中崩溃，我不完全理解崩溃。我有一个缓冲区，它是根据文件中的字节数动态分配的:

DWORD dwSizeBytes = (DWORD)liSize.QuadPart+2;
TCHAR* JSONBufferW = new TCHAR [dwSizeBytes/sizeof(TCHAR)];
memset(JSONBufferW, 0, dwSizeBytes);

dwSizeBytes(我可以在崩溃转储中看到它)是 38。之后我从文件中读取了一些数据:

if(!ReadFile(hFile, JSONBufferW, dwSizeBytes, &dwSizeBytes, NULL))
{
    status = GetLastError();
    TRACE_ERROR(g_hTrace, "ReadFile() failed for %S, error code=%d", strCompletePath, status);
}

这会将 36 分配给 dwSizeBytes，将缓冲区的最后两个字节保留为 NULL，以便缓冲区以 NULL 终止。但是，在应用程序验证器下，当我尝试从缓冲区构造 std::wstring 时，这稍后会导致崩溃。

当我在 windbg 中查看缓冲区的分配 block 时，我看到它看起来像这样:

0:022> dd 0x00000000`07560fd0-0x48 0x00000000`07560fd0
00000000`07560f88  00001000 00000000 abcdbbbb 00000000
00000000`07560f98  07191000 00000000 00000026 00000000
00000000`07560fa8  00001000 00000000 00000000 00000000
00000000`07560fb8  00000000 00000000 0025a230 00000000
00000000`07560fc8  00001000 dcbabbbb 0022007b

请注意 0x26，它显示我的缓冲区大小应该是 38。现在我查看它自身的缓冲区并看到:

0:022> dc 0x00000000`07560fd0
00000000`07560fd0  0022007b 006f006d 00650064 003a0022  {.".m.o.d.e.".:.
00000000`07560fe0  006d0022 006e0061 00610075 0022006c  ".m.a.n.u.a.l.".
00000000`07560ff0  000a007d d0d0fafa d0d0d0d0 d0d0d0d0  }...............

这表明我的缓冲区已被 ReadFile 填充，但 NULL 应该留在 buf[36] 和 buf[37](记住 memset)有一个应用程序验证器填充代码 fafa(记住 unicode 字节被翻转所以 d0d0 实际上在 fafa.

我看过 here :这向我展示了应用程序验证程序如何在分配后留下这些填充代码。但是fafa没有列出来，那是什么意思呢？而且为什么在memset应该清除的地方？

Answer 1

目前我没有这方面的来源，但 AppVerifier 的功能之一是在调用 ReadFile 之前用模式完全填充您的缓冲区。您请求读取 38 个字节，AppVerifier 用 38 个字节的模式填充您的缓冲区，而 ReadFile 仅从文件中读取 36 个字节。因此，您的最后 2 个字节是填充模式而不是预期的 NULL 字符。