Using Application Verifier Within Your Software Development Lifecycle
AppVerifier assists in finding subtle programming errors, security issues, and user account privilege problems that can be difficult to identify during a typical test pass. https://msdn.microsoft.com/en-us/library/aa480483.aspx
Mozilla ignored it for 12 years! https://bugzilla.mozilla.org/show_bug.cgi?id=244805 But it doesn't mean they had no bugs! https://bugzilla.mozilla.org/show_bug.cgi?id=1289994
Old version download page https://www.microsoft.com/en-us/download/details.aspx?id=20028 Current state https://docs.microsoft.com/en-us/windows-hardware/drivers/debugger/application-verifier
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information