With the upcoming release of the Windows Driver Foundation, Microsoft will release a new static analysis tool called Static Driver Verifier (SDV). The goal of SDV is to find subtle bugs in device ...
Starting with Windows 2000, Driver Verifier was a command-line program that could be used to test drivers for illegal functions and detect bugs, before it was updated with a GUI coinciding with the ...