StackWalk64是用于回溯栈的，32位和64位皆可。本次目标为StackWalk如何回溯32位程序的栈

注：

本次分析以dbghelp.dll,版本为10.0.18362.1139 (WinBuild.160101.0800)。

栈回溯使用StackWalk64函数，根据有无符号文件，会分别处理。无论有无符号，都会判断是否是回溯第一层栈。

因为一般情况下没有符号文件， 所以这里只重点分析无符号文件的情况，并在合适的时机提出有符号文件的处理流程。

DoDbhUnwind为栈回溯的真正起点，由StackWalk64到DoDbhUnwind的过程都可理解为包装。

重点如下：

回溯第一层栈使用UnwindInternalContextUsingEbp函数，该函数直接从ebp获取第一层栈的ebp和eip。

该函数实现如下：

待UnwindInternalContextUsingEbp返回后，DoUnwindUsingInternalContext函数也直接返回，表示第一层栈已回溯完毕。

注：本例只分析ebp回溯的情况，esp回溯的情况（等下周填充）

从第二层栈回溯开始，都需要走这样的流程。

SearchForReturnAddress获取ebp和eip是通过评定分数来确认的，分数最高的视为上一层的ebp，并从中获取本层的ebp和eip。

分数由ComputeScoreForReturnAddress获取（算法请参考下一小节），鉴定方式如下：

注：前三次base ebp不变，只是传给ComputeScoreForReturnAddress的其中一个参数会变（根据这个参数，获取的分数会不一样）

注：

DoDbhUnwind函数为回溯栈的核心，每执行一次DoDbhUnwind函数，代表回溯完一层栈。

上图为DoDbhUnwind的大致流程，重点如下：

nonFirstStackFlag(*(DWORD *)(a2 + 0x7C))的含义：

根据4.1节和4.2节的描述，我们知道第一层栈回溯是通过UnwindInternalContextUsingEbp实现的，第二层或之后的栈回溯是通过UnwindUsingPrologueSummary实现的，选择执行哪条分支是通过nonFirstStackFlag来判断的，如下图：

注：第二层或以上，为何要调用两次UnwindAndUpdateInternalContext将在之后下一小节讲解。

ImportPreviousFrameSummary函数

说明该函数之前，需要补充一点背景，如下：

从回溯第二层或以上的栈开始，都会调用UnwindAndUpdateInternalContext两次，每调用一次该函数，都能回溯一层栈。

可能大家会有疑问了，上文提及“每执行一次DoDbhUnwind函数，代表回溯完一层栈”，这里DoDbhUnwind调用两次UnwindAndUpdateInternalContext，那不应该是回溯了两层栈吗？

针对这个问题，请查看文末的附录1的实验，观察StackWalk64返回的CONTEXT（上下文）有何变化。

根据附录1的实验，能得出以下结论：

根据逆向分析结果，再补充以下结论：

在分析第二层或以上的栈时，context结构体的ebp和eip与待分析的函数差两层的目的是为了获取上一层的栈帧信息（比如Round2的FuncC栈层的信息），这些栈帧信息在内部使用，并反映在DbsStackUnwinder类的一些标志变量中。猜测这些变量会根据情况改变函数的分析流程（比如Round2的FuncD的分析流程）。在接下来的分析中，大家会看到栈回溯的整个过程用到了很多标志变量，来改变比如FuncD函数的分析路径。

有以上背景后，我们理解了在分析第二层或以上的栈时，为何会调用两次UnwindAndUpdateInternalContext了，接下来回到对ImportPreviousFrameSummary函数的说明。

在回溯第二层栈时(Round1)，会像Round0一样先从函数A的ebp获取函数A的返回地址（UnwindInternalContextUsingEbp）。又因为只有nonFirstFlag为FALSE时，才会走UnwindInternalContextUsingEbp分支，所以ImportPreviousFrameSummary的其中一个作用就是在第二层栈回溯中，第一次调用UnwindAndUpdateInternalContext时，将nonFirstFlag置为FALSE（注意在第二层或之后的栈回溯，nonFirstFlag都为TRUE）。第二次调用UnwindAndUpdateInternalContext之前，nonFirstFlag会被恢复为TRUE。

回顾第四节的细节流程图，该函数是栈回溯真正功能的起始点。首先执行完初始化之后，会调用UnwindInternalContextUsingDiaFrame，去寻找返回地址（从context.ebp+4地址处获取）的符号文件，如果找到，则直接通过符号文件回溯栈，然后直接从UnwindAndUpdateInternalContext返回，完成该轮的栈回溯。如果没找到，则UnwindInternalContextUsingDiaFrame返回错误0x80004002，之后做无符号的栈回溯（通过ebp），如下图：

回顾4.2节的第二层栈回溯流程图，该函数先调用CollectFullFunctionInformation和FindStackStateOnFunctionEntry获取一些函数状态信息，之后调用SearchForReturnAddress，通过windows自定义的算法去寻找真正符合要求的返回地址。之后再调用SearchForFramePointer寻找framePointer(帧指针)，不过这个过程往往是直接从ebp读取出新的ebp。

找到ebp和eip之后，将其保存到DbhStackServices类的0x388和0x38C偏移处。到这里，UnwindAndUpdateInternalContext就结束返回了，最后将DbhStackServices类获取到的eip交给STACKFRAME64结构体（StackWalk64提供的参数）。

如果在栈回溯时，遇到返回地址不属于任何模块的情况（比如执行的是一段shellcode），winXP和win10的行为如下：

win10：win10会判断一个标志位是否为0，如果为0，则忽略返回地址，ebp继续加4，然后读取ebp指向的内容，继续解析下一个（参考上一节的算法细节）；如果为1，则继续解析该返回地址，即强制认为这个地址是有效的。

注：这个标志位在DbsX86StackUnwinder类的构造函数被置为1(写死的)，初始化路径为StackWalk64->StackWalkEx->DoUnwindStackFrameUsingServices->New_DbsStackUnwinderhan->DbsX86StackUnwinder。

winXP：winXP直接视该返回地址无效，ebp继续加4，继续解析下一个。

debug版的函数通常会预留一部分栈空间，并初始化为0xCC，方便栈溢出的检测，而release版本没有。这个区别导致栈回溯会出现以下区别：

1.StackWalk64原型（详情可参考MSDN）：

该函数有两个重要参数，StackFrame和ContextRecord，其中ContextRecord代表当前待分析的环境，重要的参数为ContextRecord.eip和ContextRecord.ebp。

2.StackWalk64的使用：

可知，一般StackWalk64都是循环使用的，直到frame64.AddrReturn.Offset为0，代表回溯完毕。

每循环一次，context的值会有对应的更新。

3.观察StackWalk64返回的CONTEXT（上下文）：

当前的栈（由windbg打印）

程序输出结果

根据以下数据，有以下结论：

第一轮结束后（Round0）

注：StackWalk64回溯栈时，是根据context.ebp和context.eip来分析的。为了分析第二层栈，context.ebp和context.eip应该对应函数B才对，这样下次调用StackWalk64才能获取函数C是在哪调用函数B的，即fram64.eip。目前context.ebp和context.eip对应的是函数A。

第二轮结束后（Round1）

注：context的ebp和eip对应的是函数B，并不是函数C。与下次要获取的函数D差两层

观察之后的层数，其结果与Round1一样。context的ebp和eip对应的函数与下一次要回溯的函数差两层。

本来由来：在栈回溯时，发现release版本的栈回溯会跳过一层函数，这层函数是jmp XXXXXXXX。为了明确何时会跳过函数，所以做了一系列分析，于是有了这篇文章。

winXP和win10在栈回溯的差异不大，大致流程基本一样（函数的封装有所变化，比如win10的DbsStackUnwinder::DoDbhUnwind函数在winXP是DbsStackUnwinder::DbhUnwind）。因此win7、win8各位也可以类推，找到其栈回溯的大致流程。

在栈回溯时，有符号与无符号的执行流程是有差别的。有符号的情况下，UnwindInternalContextUsingDiaFrame(win10下)会读取符号，解析符号，直接返回。如果要分析有符号的情况，各位重点查看这个函数即可（winXP下是DbsX86StackUnwinder::ApplyUnwindInfo）。

关于ComputeScoreForReturnAddress的算法，这里简化了参数验证等无关代码，流程上也做了简化。同时这里省略了一些不重要的细节，比如检验是否是热更新代码；检验call [addr A]的情况下，call的地址和addr A是否属于同一个模块。类似这些都属于常规检测，在栈回溯时情况基本相同，可暂时忽略。

64位栈回溯在无符号的情况下，会根据Exception Directory数据节的函数信息进行回溯。在分析winXP时，发现dbghelp.dll会缓存一份Exception Directory数据节进行分析，所以对分析模块的Exception Directory数据节下硬件断点，可能端不下来，找不到dbghelp.dll回溯的代码。虽然64位的分析流程和32位完全不同，但主流程是一样的，都会调用*Unwind函数，然后做一些基础检测，分析call、jmp这些基础操作。

[招生]科锐逆向工程师培训(2024年11月15日实地，远程教学同时开班, 第51期)