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 ...