The Curious Engineer

All blogs / Windows internals

Static Driver Tools

learn.microsoft.com/en-us/archive/blogs/staticdrivertools

Windows internalsSecurityTesting / QAMicrosoft blogsMSDN archive

’10’15’20’25
Posts
8 from 9 Apr 2008 to 26 Jun 2009
Posting
archived, read-only
Kind
company blog
Feed
https://learn.microsoft.com/en-us/archive/blogs/staticdrivertools/feed.xml

2009 4

  1. PFD/SDV Clean - SDV Roletypes in Samples and Shipping Drivers
  2. Example of how the Annotations in WDM.H and OACR catch a bug on the developer desktop (PFD/SDV "Clean" 2 of 6)
  3. PFD and SDV Clean: Improving the Quality of Headers and Samples in the WDK and Windows 7 (Part 1 of 6)
  4. Make Static Driver Verifier More Efficient: Add a Preset Filter to PFD/OACR Defect Viewer

2008 4

  1. Annotating for __success()
  2. PFD Annotations - They're just comments, really.
  3. PREfast for Drivers and IRQL Levels
  4. Welcome to the Static Driver Tools Blog!