Cool new download at http://www.microsoft.com/downloads/details.aspx?FamilyID=bd02c19c-1250-433c-8c1b-2619bd93b3a2&DisplayLang=en Application Verifier is a runtime verification tool for unmanaged code that assists in quickly finding subtle programming