[ofw] [Patch 0/20] Adjust code to remove Prefast errors and warning

Smith, Stan stan.smith at intel.com
Tue Jun 21 08:42:01 PDT 2011


Hello,
  Which WDK version is required when building with your patches?


From: Alex Naslednikov [mailto:xalex at mellanox.co.il]
Sent: Sunday, June 19, 2011 12:51 AM
To: ofw at lists.openfabrics.org; Smith, Stan
Subject: [ofw] [Patch 0/20] Adjust code to remove Prefast errors and warning

Hello all,
The following series of patches fixes bugs and errors encountered by Prefast for Drivers, removes Prefast warnings, adds correct driver annotations.
Probably you may be interested in following information before reviewing the patches:

1.      File "Prefast Annotations" explains about Prefast annotations in general

2.      Link http://msdn.microsoft.com/en-us/library/ff547907(v=vs.85).aspx is an online resource for IRQL annotations

3.      These links provide real solutions that aren't explained at MSDN (http://www.osronline.com/showThread.cfm?link=122049, http://www.osronline.com/showthread.cfm?link=196119)

4.      File "dde-t676_ddc08.pptx" provides more examples for some issues like IRQL annotations




Alexander (XaleX) Naslednikov
SW Networking Team
Mellanox Technologies

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.openfabrics.org/pipermail/ofw/attachments/20110621/f77f05e7/attachment.html>


More information about the ofw mailing list