Microsoft Download Center Archive

SDVBench

  • Published:
  • Version: 1.0
  • Category: other
  • Language: English

Microsoft Static Driver Verifier Benchmarks

This repository contains a subset of the internal tests used by Microsoft's Static Driver Verifier tool. These tests are generated from Window's Device Drivers while checking for one of the various properties that WDM drivers must satisfy. For more information, go to: https://github.com/boogie-org/sdvbench

Files

Status: Live

This download is still available on microsoft.com. The downloads below will come directly from the Microsoft Download Center.
Files
SdvBench.zip
  • SHA1: ed5896befdb52ae415e2eee2622984356e11265e
  • Size: 1.31 GB

System Requirements

Operating Systems: Windows 10, iOS

  • Windows 10, iOS

Installation Instructions

  • Click Download and follow the instructions.
This page was generated from a snapshot of the Microsoft Download Center made on .
Report a problem