|
|
| This newsletter contains archived content. No warranty is made as to technical accuracy of content or currency of URLs.
From the Editor
SDV is a rule-based, compile-time static analysis tool for verification of Windows drivers written in C code. SDV verifies a driver against a set of precise rules for the use of Windows device driver interfaces and then reports any violations of these rules.
The Microsoft Research (MSR) Software Productivity Tools team invested several years' work to create an engine that checks whether a C-based program correctly uses certain interfaces. This project resulted in a powerful analysis engine that has been incorporated into SDV, which is now included in beta releases of the Windows Driver Kit (WDK).
Developers at Microsoft who are using SDV to test WDM drivers are finding that SDV is a good tutor. By presenting the rules in its results, SDV helps to enforce the good techniques that senior developers should know, and it alerts new driver developers to best practices that result in better-quality drivers.
When you come to WinHEC, we encourage you to join in the Static Analysis Tools Hands-on Lab (see below). Bring your Windows Driver Model (WDM) driver source files, so that you can run the PFD and SDV tools on your code.
-- Annie Pearson
for the WHDC Web team
WHDC After Dark:
| • |
Turn the Pages: The British Library has added a host of new books online. Don't forget to press CTRL when you click a title if you are running the Internet Explorer 7 Beta with pop-up control--and don't miss the hourglass for close-up examination of each page.
|
| • |
What we're doing at night: We're receiving a flood of new technical papers from Windows developers that we're sharing on a daily basis on the WHDC Web site in advance of WinHEC.
|
|
Static Analysis Labs at WinHEC
This lab provides you hands-on experience running PREfast For Drivers (PFD) and Static Driver Verifier (SDV). PFD and SDV provide complementary capabilities for finding potential bugs in Windows device drivers. Bring your WDM driver source files, and you can run the PFD and SDV tools on your code and examine any defects that the tools find. A team of experts will be available to help you:
| • |
Build your drivers under the WDK build environments.
|
| • |
Run the tools on your drivers.
|
| • |
Interpret the tool results.
|
| • |
Annotate your drivers to help reduce the noise when you run PFD (for example, by using __in and __out annotation).
|
PFD runs on any code, C or C++, and runs in a relatively short time (approximately 3 to 5 times the compile time). SDV runs only on Windows Driver Model (WDM) drivers that are written in C. Currently, SDV does not support drivers written in C++. SDV can take several hours to run.
Attending a WDK open lab and making sure that your driver successfully builds under the WDK build environment would be helpful prerequisites. This lab will require attendees to sign a Design Preview Agreement. Download the DPA here.
XPS Specifications and Papers
As a preview of the XPS implementation guidelines and partner advances that will be presented at WinHEC, these new papers are available on the XPS Web site on Microsoft.com:
Windows Vista Logo Program
Note: Requirement SYSFUND-0049 was incorrectly updated as a future requirement in the Windows Vista Logo Program Client System Requirements, Version 3.0 Revision Draft 0.9 release. The requirement will be updated in Revision Draft 1.0 to reflect the language that was released in Revision Draft 0.8 with an effective date of June 1, 2006. If you have concerns regarding this retraction, please send e-mail on this issue to SYS0049@microsoft.com with details. The logo team at Microsoft is accepting feedback on the retraction of SYSFUND-0049 through May 31, 2006.
|
|
|
Edition for  May 10, 2006 |
|
Events
| • |
WinHEC 2006
May 23-26, 2006
Washington State Convention and Trade Center
Seattle, WA |
| • |
PCI-SIG Compliance Workshop #50
May 15-19, 2006
Embassy Suites Hotel - Santa Clara
Santa Clara, CA |
| • |
PCI-SIG Developers Conference 2006
June 8-9, 2006
San Jose McEnery Convention Center
San Jose, California |
| • |
WinHEC Taipei
June 12-13, 2006
Taipei, Taiwan |
| • |
WinHEC Tokyo
June 20, 2006
Tokyo, Japan |
| • |
Certified Wireless USB Developers Conference
June 20-22, 2006
San Jose, CA |
|
|
|
|
|
|
|
New Blogs for Developers:
| • |
Color at Microsoft
Color, Community, and Science in the Windows Digital Documents, Platform, and Solutions Group Color Team (D2.Color). This team is delivering the new Windows Color System (WCS) in Windows Vista. |
| • |
Windows Networking
Windows Network Development platforms, technologies, and APIs such as Winsock, WSK, WinINet, Http.sys, WinHttp, QoS, and System.Net. |
|
|
|
|
|
|
|
|
