• runtime verification tool for unmanaged code

assists in finding

• subtle programming errors,
• security issues and
• limited user account privilege problems

What is Microsoft Application Verifier for?
Application Verifier – Overview