This is the Trace Id: 1b9fc7e0c77d405f2899a5b2f83c4a85

Bring the world closer with Bing Wallpaper

Download the free app and enjoy breathtaking views with a new background each day.
Get Bing Wallpaper
A laptop displaying a colorful seascape from Bing Wallpaper.

SDVBench

Microsoft Static Driver Verifier Benchmarks

Important! Selecting a language below will dynamically change the complete page content to that language.

Download

  • Version:

    1.0

    Date Published:

    5/15/2024

    File Name:

    SdvBench.zip

    File Size:

    1.3 GB

    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

  • Supported Operating Systems

    iOS, Windows 10

    • Windows 10, iOS

    • Click Download and follow the instructions.

Follow Microsoft

Back To Top