Модель операционной системы

Модель операционной системы SDV или среда состоит из частичных и абстрактных сегментов кода Windows, которые действуют в качестве операционной системы во время проверки. SDV включает модель операционной системы по умолчанию и несколько специализированных моделей, которые используются для проверки определенных правил. SDV собирает модель операционной системы для проверки на этапе проверкипроцесса проверки.

Существует также ремень, который выполняет части драйвера так же, как операционная система Windows, вызывая точки входа в драйвере.