Skip to content

Latest commit

 

History

History
19 lines (14 loc) · 962 Bytes

operating-system-model.md

File metadata and controls

19 lines (14 loc) · 962 Bytes
Raw
title description keywords ms.date
Operating System Model
Operating System Model
Static Driver Verifier WDK , operating system model
StaticDV WDK , operating system model
SDV WDK , operating system model
operating system model WDK Static Driver Verifier
harness WDK Static Driver Verifier
04/20/2017

Operating System Model

An SDV operating system model or harness consists of partial and abstracted segments of Windows code that act as the operating system during a verification. SDV includes a default operating system model and several specialized models that are used to verify particular rules. SDV assembles the operating system model for a verification during the Check step of the verification process.

There is also a harness that executes parts of your driver in the same manner as the Windows Operating System by calling into entry points in the driver.