Academic tools and real-life bug finding in Win32