在栈和堆分配内存

最新推荐文章于 2024-03-30 15:58:25 发布

心想才事成

最新推荐文章于 2024-03-30 15:58:25 发布

阅读量503

点赞数

CC 4.0 BY-SA版权

分类专栏： WCP 操作系统相关系统维护文章标签：栈内存堆 WCP

本文链接：https://blog.youkuaiyun.com/hadstj/article/details/52938666

系统维护同时被 3 个专栏收录

248 篇文章

订阅专栏

操作系统相关

179 篇文章

订阅专栏

WCP

86 篇文章

订阅专栏

本文探讨了栈和堆内存分配的差异，包括地址、空间大小以及使用时可能遇到的问题。堆内存空间较大，而栈内存有限。在某些情况下，栈上分配的内存如果在函数返回后未正确清理，可能会导致堆损坏异常（0xC0000374）。文章通过实例说明了微软如何清理栈参数，并指出如果清理操作与实际分配不匹配，将导致错误。此外，提到了之前关于Manifest解压问题的理解可能存在错误。

在栈和堆分配内存

LUNICODE_STRING Src ;
LUNICODE_STRING *Dst1 = new LUNICODE_STRING();
LUNICODE_STRING Dst2;
RtlInitLUnicodeString(&Dst2, L"");
RtlInitLUnicodeString(&Src, L"microsoft-windows-ie-windows-internetexplorer-windows-ppdlic.xrm-ms");

xpid_ConvertNamePrime(&Src, Dst1);
xpid_ConvertNamePrime(&Src, &Dst2);

Dst1:  0x0069fd40
&Dst2: 0x001ef884

两者的地址相差很大，一个在堆，一个在栈。
堆的空间很大，栈的空间很有限。
从返回结果来看，都能得到正确的结果。
但是，第二个调用会引发的异常: 0xC0000374: 堆已损坏。

原因在于，微软会对传入的参数，在不需要使用时，进行清理。如果传入的参数与清理时的动作不一致时，就会出错。

清理 LUNICODE_STRING 字符串使用下面的函数：

//----- (000000018000C850) ----------------------------------------------------
int __fastcall Windows::AutoPODBase<_LUNICODE_STRING,Windows::Auto<_LUNICODE_STRING>>::Close(__int64 a1)
{
  __int128 v1; // xmm0@1
  int result; // eax@1
  __int128 v3; // [sp+20h] [bp-28h]@1
  __int64 v4; // [sp+30h] [bp-18h]@1

  v1 = *(_OWORD *)a1;
  result = 0;
  v4 = *(_QWORD *)(a1 + 16);
  v3 = v1;
  *(_QWORD *)a1 = 0i64;
  *(_QWORD *)(a1 + 8) = 0i64;
  *(_QWORD *)(a1 + 16) = 0i64;
  if ( v4 )
    result = RtlFreeLUtf8String(&v3);
  return result;
}


int __thiscall RtlFreeLBlob(int this)
{
  int result; // eax@3

  if ( this )
  {
    if ( *(_DWORD *)(this + 8) )
      result = `anonymous namespace'::OurRtlFreeStringRoutine(*(PVOID *)(this + 8));
  }
  return result;
}

BOOLEAN __stdcall `anonymous namespace'::OurRtlFreeStringRoutine(PVOID Address)
{
  return RtlFreeHeap(*(HANDLE *)(__readfsdword(48) + 24), 0, Address);
}