When the Dirty Stacks are enabled, the verifier will fill [periodically] the unused portion of the stack with a memory pattern. This can help detect uninitialized variables in future function calls in that thread's context. For example, if a future function allocates a pointer variable on the stack but forgets to initial it:

• Without the verifier there is a chance that the pointer will happen to be NULL and the function will handle it and the bug goes undectected.
  
  
• With the verifier, the pointer will be initialized with the verifier memory pattern and will AV when trying to use that pointer.
  
  
• No stops are provided by this set of tests, only exceptions.