首页 > 编程语言 >从 C# 崩溃异常 中研究页堆布局

从 C# 崩溃异常 中研究页堆布局

时间:2022-10-08 13:03:40浏览次数:55  
标签:ntdll HEAP C# 布局 000 heap 崩溃 BLOCK DPH

一:背景

1.讲故事

最近遇到一位朋友的程序崩溃,发现崩溃点在富编辑器 ​​msftedit​​​ 上,这个不是重点,重点在于发现他已经开启了 ​​页堆​​ ,看样子是做了最后的挣扎。

0:000> !analyze -v
EXCEPTION_RECORD: (.exr -1)
ExceptionAddress: 82779a9e (msftedit!CCallMgrCenter::SendAllNotifications+0x00000123)
ExceptionCode: c0000005 (Access violation)
ExceptionFlags: 00000000
NumberParameters: 2
Parameter[0]: 00000001
Parameter[1]: 8351af28
Attempt to write to address 8351af28
...
STACK_TEXT:
00ffe0dc 827bda2a 8351ae88 00000000 00ffe174 msftedit!CCallMgrCenter::SendAllNotifications+0x123
00ffe110 827bd731 00ffe324 00ffe174 00ffe300 msftedit!CCallMgrCenter::ExitContext+0xda
00ffe120 827bde71 8351ae88 827232dc 28112f80 msftedit!CCallMgr::~CCallMgr+0x17
00ffe300 8290281f 00000102 00000067 00220001 msftedit!CTxtEdit::TxSendMessage+0x201
00ffe374 7576110b 00f20268 00000102 00000067 msftedit!RichEditWndProc+0x9cf
00ffe3a0 757580ca 82901e50 00f20268 00000102 user32!_InternalCallWinProc+0x2b
...
SYMBOL_NAME: system_windows_forms+1c45e7

MODULE_NAME: System_Windows_Forms

IMAGE_NAME: System.Windows.Forms.dll

0:000> !heap -p

Active GlobalFlag bits:
vrf - Enable application verifier
hpa - Place heap allocations at ends of pages

StackTraceDataBase @ 04c20000 of size 01000000 with 00001b18 traces

PageHeap enabled with options:
ENABLE_PAGE_HEAP
COLLECT_STACK_TRACES

active heaps:

+ 5c20000
ENABLE_PAGE_HEAP COLLECT_STACK_TRACES
NormalHeap - 5d90000
HEAP_GROWABLE
+ 5e90000
ENABLE_PAGE_HEAP COLLECT_STACK_TRACES
NormalHeap - 4960000
HEAP_GROWABLE HEAP_CLASS_1
...

由于 ​​页堆​​​ 和 ​​NT堆​​​ 的内存布局完全不一样,这一篇结合我的了解以及 windbg 验证来系统的介绍下 ​​页堆​​。

二:对 页堆 的研究

1. 案例演示

为了方便讲述,先上一段测试代码。

int main()
{
HANDLE h = HeapCreate(NULL, 0, 100);

int* ptr = (int*)HeapAlloc(h, 0, 9);

printf("ptr= %x", ptr);

DebugBreak();
}

接下来用 ​​gflags​​ 开启下页堆。

PS C:\Users\Administrator\Desktop> gflags -i ConsoleApplication1.exe +hpa
Current Registry Settings for ConsoleApplication1.exe executable are: 02000000
hpa - Enable page heap

然后将程序跑起来,可以看到返回的 handle 句柄。

从 C# 崩溃异常 中研究页堆布局_句柄

2. 页堆布局研究

接下来用 windbg 的 ​​!heap -p​​ 命令观察页堆。

0:000> !heap -p

Active GlobalFlag bits:
hpa - Place heap allocations at ends of pages

StackTraceDataBase @ 042e0000 of size 01000000 with 0000000e traces

PageHeap enabled with options:
ENABLE_PAGE_HEAP
COLLECT_STACK_TRACES

active heaps:

+ 5b0000
ENABLE_PAGE_HEAP COLLECT_STACK_TRACES
NormalHeap - 710000
HEAP_GROWABLE
+ 810000
ENABLE_PAGE_HEAP COLLECT_STACK_TRACES
NormalHeap - 510000
HEAP_GROWABLE HEAP_CLASS_1
+ 56e0000
ENABLE_PAGE_HEAP COLLECT_STACK_TRACES
NormalHeap - 5aa0000
HEAP_CLASS_1

稍微解读下上面的输出。

  1. ​+ 56e0000**​

表示 页堆 的堆句柄。

  1. ​NormalHeap - 5aa0000​

表示 ​​页堆​​​ 关联的 ​​NT堆​​​,可能有朋友要问了,既然都开启​​页堆​​了, 还要弄一个 ntheap 干嘛? 大家不要忘了,windows 的一些系统api会用到这个堆。

接下来有一个问题,如何观察这两个 heap 之间的关联关系呢? 要回答这个问题,需要了解 ​​页堆​​ 的布局结构,画个简图如下:

从 C# 崩溃异常 中研究页堆布局_用户区_02

从图中可以看到,离句柄偏移 ​​4k​​​ 的位置有一个 ​​DPH_HEAP_ROOT​​​ 结构,它相当于 NTHEAP 的​​_HEAP​​​,我们拿 ​​56e0000​​ 举个例子。

0:000> dt nt!_DPH_HEAP_ROOT 56e0000+0x1000
ntdll!_DPH_HEAP_ROOT
...
+0x0b4 NormalHeap : 0x05aa0000 Void
+0x0b8 CreateStackTrace : 0x042f4d94 _RTL_TRACE_BLOCK
+0x0bc FirstThread : (null)

上面输出的 ​​NormalHeap: 0x05aa0000​​ 就是它关联的 ntheap 句柄。

3. 堆块布局研究

对​​页堆​​​ 有了一个整体认识,接下来继续研究堆块句柄,我们发现 ​​ptr=0x56e5ff0​​​ 是落在 ​​56e0000​​ 这个页堆上,接下来我们导出这个页堆的详细信息。

0:000> !heap -p -h 56e0000
_DPH_HEAP_ROOT @ 56e1000
Freed and decommitted blocks
DPH_HEAP_BLOCK : VirtAddr VirtSize
Busy allocations
DPH_HEAP_BLOCK : UserAddr UserSize - VirtAddr VirtSize
056e1f70 : 056e5ff0 00000009 - 056e5000 00002000
unknown!fillpattern
_HEAP @ 5aa0000
No FrontEnd
_HEAP_SEGMENT @ 5aa0000
CommittedRange @ 5aa04a8
HEAP_ENTRY Size Prev Flags UserPtr UserSize - state
05aa04a8 0167 0000 [00] 05aa04b0 00b30 - (free)
* 05aa0fe0 0004 0167 [00] 05aa0fe8 00018 - (busy)
VirtualAllocdBlocks @ 5aa009c

上面的信息如何解读呢?我们逐一来聊一下吧。

  1. ​_DPH_HEAP_ROOT @ 56e1000​

这个已经和大家聊过了,它和 ​​_HEAP​​ 结构是一致的。

  1. ​DPH_HEAP_BLOCK :​

从字面意思就能看出来和 ​​ntheap​​​ 的 ​​heap_entry​​ 是一致的,都是用来描述堆块信息, 不过有一点要注意,这个堆块是落在上图中的 ​​DPH_HEAP_BLOCK Pool​​​ 池链表结构中的,言外之意就是它不会作为 ​​heap_entry​​ 的头部附加信息,接下来我们 dt 导出来看看。

0:000> dt ntdll!_DPH_HEAP_BLOCK 056e1f70 
+0x000 pNextAlloc : 0x056e1020 _DPH_HEAP_BLOCK
+0x000 AvailableEntry : _LIST_ENTRY [ 0x56e1020 - 0x0 ]
+0x000 TableLinks : _RTL_BALANCED_LINKS
+0x010 pUserAllocation : 0x056e5ff0 "???"
+0x014 pVirtualBlock : 0x056e5000 "???"
+0x018 nVirtualBlockSize : 0x2000
+0x01c nVirtualAccessSize : 0x20
+0x020 nUserRequestedSize : 9
+0x024 nUserActualSize : 0x56e1f60
+0x028 UserValue : 0x056e1fc8 Void
+0x02c UserFlags : 0x3f18
+0x030 StackTrace : 0x042f4dcc _RTL_TRACE_BLOCK
+0x034 AdjacencyEntry : _LIST_ENTRY [ 0x56e1010 - 0x56e1010 ]
+0x03c pVirtualRegion : (null)

从字段信息看,它记录了堆块的分配首地址,栈信息等等,比如用 dds 观察一下 StackTrace。

0:000> dds 0x042f4dcc 
042f4dcc 00000000
042f4dd0 00006001
042f4dd4 000d0000
042f4dd8 78aba8b0 verifier!AVrfDebugPageHeapAllocate+0x240
042f4ddc 77e0ef8e ntdll!RtlDebugAllocateHeap+0x39
042f4de0 77d76150 ntdll!RtlpAllocateHeap+0xf0
042f4de4 77d757fe ntdll!RtlpAllocateHeapInternal+0x3ee
042f4de8 77d753fe ntdll!RtlAllocateHeap+0x3e
042f4dec 00ad1690 ConsoleApplication1!main+0x30 [D:\net6\ConsoleApp1\ConsoleApplication1\DisplayGreeting.cpp @ 14]
042f4df0 00ad1bc3 ConsoleApplication1!invoke_main+0x33 [D:\a\_work\1\s\src\vctools\crt\vcstartup\src\startup\exe_common.inl @ 78]
042f4df4 00ad1a17 ConsoleApplication1!__scrt_common_main_seh+0x157 [D:\a\_work\1\s\src\vctools\crt\vcstartup\src\startup\exe_common.inl @ 288]
042f4df8 00ad18ad ConsoleApplication1!__scrt_common_main+0xd [D:\a\_work\1\s\src\vctools\crt\vcstartup\src\startup\exe_common.inl @ 331]
042f4dfc 00ad1c48 ConsoleApplication1!mainCRTStartup+0x8 [D:\a\_work\1\s\src\vctools\crt\vcstartup\src\startup\exe_main.cpp @ 17]
042f4e00 7646fa29 KERNEL32!BaseThreadInitThunk+0x19
042f4e04 77d975f4 ntdll!__RtlUserThreadStart+0x2f
042f4e08 77d975c4 ntdll!_RtlUserThreadStart+0x1b
...

接下来再回答一个问题,页堆的堆块有没有头部附加信息呢?当然是有的,叫做 ​​DPH_BLOCK_INFORMATION​​​ ,即在 ​​UserPtr-0x20​​ 的位置,我们可以用 dt 显示一下。

0:000> ?? sizeof(ntdll!_DPH_BLOCK_INFORMATION)
unsigned int 0x20

0:000> dt ntdll!_DPH_BLOCK_INFORMATION 056e5ff0-0x20
+0x000 StartStamp : 0xabcdbbbb
+0x004 Heap : 0x056e1000 Void
+0x008 RequestedSize : 9
+0x00c ActualSize : 0x1000
+0x010 FreeQueue : _LIST_ENTRY [ 0x0 - 0x0 ]
+0x010 FreePushList : _SINGLE_LIST_ENTRY
+0x010 TraceIndex : 0
+0x018 StackTrace : 0x042f4dcc Void
+0x01c EndStamp : 0xdcbabbbb
...

根据上面两个输出,在脑海中应该可以绘出如下图:

从 C# 崩溃异常 中研究页堆布局_用户区_03

这里要稍微解释下 ​​栅栏页​​ 的概念。

4. 栅栏页

每一个 heap_entry 都会占用 8k 的空间,第一个 4k 是用户区,第二个 4k 是栅栏区,为了就是当代码越界时访问了这个 栅栏页 会立即报错,因为栅栏页是禁止访问的,我们可以提取 ​​UserAddr​​​ 附近的内存,看看 ​​056e6000= 056e5000+0x1000​​ 后面是不是都是问号。

0:000> dp 056e5ff0 
056e5ff0 c0c0c0c0 c0c0c0c0 d0d0d0c0 d0d0d0d0
056e6000 ???????? ???????? ???????? ????????
056e6010 ???????? ???????? ???????? ????????
056e6020 ???????? ???????? ???????? ????????
056e6030 ???????? ???????? ???????? ????????
056e6040 ???????? ???????? ???????? ????????
056e6050 ???????? ???????? ???????? ????????
056e6060 ???????? ???????? ???????? ????????

0:000> !address 056e5000+0x1000

Usage: PageHeap
Base Address: 056e6000
End Address: 057e0000
Region Size: 000fa000 (1000.000 kB)
State: 00002000 MEM_RESERVE
Protect: <info not present at the target>
Type: 00020000 MEM_PRIVATE
Allocation Base: 056e0000
Allocation Protect: 00000001 PAGE_NOACCESS
More info: !heap -p 0x56e1000
More info: !heap -p -a 0x56e6000


Content source: 0 (invalid), length: fa000

三:总结

这就是对 ​​页堆​​​ 的一个研究,总的来说 ​​页堆​​ 是一种专用于调试的堆,优缺点如下:

  • 优点:

因为 栅栏页 紧邻 用户页,一旦代码越界进入了 栅栏页,会立即报 访问违例 异常,这样我们就可以获取第一现场错误。

  • 缺点:

对空间造成了巨大浪费,即使 1byte 的内存分配,也需要至少 2 个内存页 的内存占用 (8k)。

哈哈,对调试程序崩溃类问题,非常值得一试!

从 C# 崩溃异常 中研究页堆布局_用户区_04



标签:ntdll,HEAP,C#,布局,000,heap,崩溃,BLOCK,DPH
From: https://blog.51cto.com/u_15353947/5737223

相关文章

  • 如何打通 SAP Cloud for Customer 系统和微信公众号的双向消息通信功能
    本系列的前三篇文章,我们依次介绍了微信公众号开发环境的搭建,微信公众平台API的调用,以及地图功能的集成。本文作为该系列第四篇文章,介绍如何实现SAPCloudforCustomer......
  • SAP UI5 应用 SimpleForm 控件 ResponsiveGridLayout 布局的工作原理深入剖析
    一套适合SAPUI5初学者循序渐进的学习教程本专栏计划的文章数在​​300​​​篇左右,到​​2022年9月22日​​​为止,目前已经更新了​​133​​​篇,专栏完成度为​​......
  • focal loss
    首先focalloss解决了正负样本不均衡问题,增加了对难样本的权重。​​(3条消息)focalloss详解_为了写博客,要取一个好的名字的博客​​    这个公式中,at对负样本给予比......
  • Kafka教程(二)API开发-生产者、消费者、topic
    一、地址1、实时更新的思维导图​​https://www.mubucm.com/doc/4uqlpedefuj​​2、图片二、具体内容5.producer生产者demo发送pro.send(newProducerRecord<String,String>......
  • CARLA Tutorial
    InstallCarla0.9.13InstallAnacondaandsetittousablestateinordertohavepython3.7virtualenvironmentRunthefilenamedCarlaUE4.exeintheunzippedfo......
  • CompletableFuture事务问题
    前段时间写了关于CompletableFuture的使用博客,​​CompletableFuture使用方法详细说明​​​和​​CompletableFuture的thenCompose使用具体说明​​。但在实际中使用的时......
  • CompletableFuture事务问题
    前段时间写了关于CompletableFuture的使用博客,​​CompletableFuture使用方法详细说明​​​和​​CompletableFuture的thenCompose使用具体说明​​。但在实际中使用的时......
  • Red Hat 64位安装oracle 客户端sqlplus
    1.首先下载以下两个安装包:oracle-instantclient12.1-basic-12.1.0.2.0-1.x86_64.rpmoracle-instantclient12.1-basic-12.1.0.2.0-1.x86_64.rpm下载路径:https://www.ora......
  • Fairness without Demographics through Adversarially Reweighted Learning
    目录概符号说明本文方法代码LahotiP.,BeutelA.,ChenJ.,LeeK.,ProstF.,ThainN.,WangX.andCHiE.H.Fairnesswithoutdemographicsthroughadversariall......
  • springMVC执行流程
    1.浏览器将请求发送到前端控制器;2.前端控制器通过处理器映射器将请求绑定在一个处理器上;3.将请求绑定的处理器返回给前端控制器;4.前端控制器通过处理器适配器将处理器......