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

Alex Naslednikov xalex at mellanox.co.il
Tue Jun 21 08:50:23 PDT 2011


Hello Stan,
For backward compatibility, I built with 6001.18001, 7600.16385.1 and with VS10 (prefast enabled).

The command to run it within VS10:
msbuild /t:clean /t:build /p:prefast=1 /p:Configuration="Windows 8 Debug" /p:platform=x64 /m:24

From: Smith, Stan [mailto:stan.smith at intel.com]
Sent: Tuesday, June 21, 2011 6:42 PM
To: Alex Naslednikov; ofw at lists.openfabrics.org
Subject: RE: [ofw] [Patch 0/20] Adjust code to remove Prefast errors and warning

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/3d28adff/attachment.html>


More information about the ofw mailing list