如何配置AppVerifier/Gflags正确检测WinFsp程序的实际堆损坏

检测提前终止的核心原因：默认配置下gflags/AppVerifier会在进程退出时扫描未释放内存判定为泄漏，而程序父进程完成预分配、创建后台子进程后就直接退出，预分配的未释放内存会直接触发误报终止，且默认配置不会自动跟踪后续子进程的堆操作。

gflags 配置方法 #

• 用管理员权限打开命令提示符，执行以下命令配置页堆规则：
  gflags /p /enable 你的程序实际文件名.exe /full /no_leak_checks /inherit
  各参数作用：
  • /full：开启全页堆校验，可精准捕获堆越界、释放后使用、非法堆指针操作等直接触发堆损坏的问题
  • /no_leak_checks：关闭进程退出时的内存泄漏检测，直接跳过父进程退出时预分配内存未释放导致的误报终止
  • /inherit：强制页堆检测规则被程序创建的所有子进程继承，避免跟踪链路在父进程退出时直接中断
• 配置完成后执行gflags /p即可查看已启用页堆的程序列表，确认规则正常生效。排查结束后记得执行gflags /p /disable 你的程序实际文件名.exe关闭规则，避免影响程序正常运行性能。

AppVerifier 配置方法 #

1. 以管理员权限启动AppVerifier，添加目标程序的exe文件
2. 在检测规则列表中展开Heaps分类，取消勾选Leaks子项，保留堆溢出、释放后使用、非法堆操作等和堆损坏直接相关的检测项即可
3. 右键点击已添加的程序条目，打开属性面板，在调试设置页勾选Child process debugging，开启子进程自动跟踪能力
4. 保存配置后不要直接双击启动程序，用WinDbg或cdb附加启动程序，确保父进程退出后调试器能自动附着到常驻的后台子进程，持续跟踪全流程堆操作。

更高效的排查技巧 #

WinFsp服务端程序原生支持前台运行模式，排查堆问题时可以直接给程序传入前台运行参数（官方默认参数为-f，如果是自定义实现可对应自己的前台启动参数），直接跳过fork后台进程的逻辑，全程只有单个进程运行。这种模式下不需要关闭泄漏检测规则，也不需要额外配置子进程跟踪，直接正常开启页堆就能复现并捕获堆损坏点，排查效率远高于跟踪父子进程链路。

注意事项 #

如果程序预分配线程内存是通过自定义内存池实现（即一次性向系统申请大块内存后自行切分管理），建议在检测阶段临时关闭内存池逻辑，所有内存申请直接走系统HeapAlloc接口，否则AppVerifier和gflags无法感知内存池内部的越界写操作，会出现漏判。

内容的提问来源于stack exchange，提问作者spictera