Prefast Warning:"Arithmetic Overflow: 32-bit value is shifted, then cast to 64-bit value."...

WDK7: Using IoAttachDeviceToDeviceStack gives "Memory must be held" warning in PREfast...

Prefast annotations to fix IRQL level warnings...

Prefast with Visual studio 2008...

Does this pattern work in C++?...

PreFast in VS 2010?...

Invalid access of pointer (reading 4 bytes of 0*1) error from PREfast...

Annotations for NULL Dereference in Prefast and Compiling on GCC...