If the stack of a process is overrun by another process, analysis of the dump is not possible because the crash occurs when the original process writes to the kernel space which is already occupied by the other, misbehaving component.
Enabling Special Pool Tagging causes the driver to crash as soon as it tries to write to the kernel space, before that space is overwritten, thus enabling the debugger to see this kernel space and analyze it.
Complete the following steps, to enable Special Pool Tagging for a driver:
Run the driver verifier utility which is built-in to your operating system. Type verifier.exe or open from <windir>\system32.
The management window appears. Select Create custom settings (for code developer).
Enable Select individual settings from a full list.
Select the appropriate setting as advised by the Citrix engineer. For example, Select Special pool for corruption or select Pool tracking for leaks, and so on.
Enable Select driver names from list.
The available drivers load. Select the ones suggested by the Citrix engineer to attach the verifier to that driver.