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:[email protected]] Sent: Tuesday, June 21, 2011 6:42 PM To: Alex Naslednikov; [email protected] 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:[email protected]] Sent: Sunday, June 19, 2011 12:51 AM To: [email protected]; 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
_______________________________________________ ofw mailing list [email protected] http://lists.openfabrics.org/cgi-bin/mailman/listinfo/ofw
