Tuesday, May 30, 2006 12:37 PM
doronh
SDV and PreFast for Drivers (PFD) article on CNET
These tools are essential for any driver writer and the folks who work on them are just down the hall from me. PFD is your normal PreFast with additional rules about kernel functions. SDV (static driver verifier) is a completely different tool which simulates a kernel environment and tries to find bugs in that simulation.
You can read the article here.
Anonymous comments are disabled
About doronh
I am an architect is the Device and Storage Technologies team, focusing on how drivers are developed and how driver developers can develop a quality driver that is stable and performant.
Previously (in descending order) I was a developer and technical lead on the KMDF team, architect of the v1.0 Bluetooth stack, and owner of the input stacks. The USB team reported to my manager during the input days so I also have a good working knowledge of the USB core.
