AppVerif is one of my favorite run-time analysis tools for unmanaged Windows apps, it's also an SDL-required tool. An update is now available at http://www.microsoft.com/downloads/details.aspx?familyid=bd02c19c-1250-433c-8c1b-2619bd93b3a2&displaylang=en&tm