Bagikan melalui

Properti Pemverifikasi Driver untuk Proyek Paket Driver

Driver Verifier adalah alat verifikasi run-time yang meningkatkan efektivitas pengujian driver Anda. Anda dapat mengaktifkan dan mengonfigurasi Pemverifikasi Driver untuk dijalankan pada semua komputer pengujian saat Anda menyebarkan driver untuk pengujian.

Anda harus selalu menyiapkan koneksi debugging mode kernel dengan komputer uji ketika Anda mengaktifkan Pemverifikasi Driver pada komputer uji jarak jauh. Untuk informasi lebih lanjut mengenai mengonfigurasi komputer target dan menyiapkan kabel debug, lihat Memulai Debugging Windows.

Mengatur properti Pemverifikasi Driver untuk proyek paket driver

  1. Buka halaman properti untuk paket driver Anda. Pilih dan tahan (atau klik kanan) proyek paket driver di Penjelajah Solusi dan pilih Properti.
  2. Di halaman properti untuk paket driver, pilih Properti Konfigurasi, pilih Penginstalan Driver, lalu pilih Verifikasi Driver.
  3. Pilih opsi Aktifkan Verifikasi Driver . Ketika opsi ini dipilih, Anda dapat memilih driver atau beberapa driver yang diverifikasi pada komputer uji dan Anda dapat memilih opsi Driver Verifier yang akan digunakan.

Konfigurasi dan Platform Proyek

Daftar konfigurasi dan daftar platform memungkinkan Anda menerapkan pengaturan penyebaran yang berbeda untuk konfigurasi proyek dan kombinasi platform yang berbeda. Misalnya, Anda dapat menyebarkan driver ke satu komputer pengujian menggunakan serangkaian opsi penyebaran untuk build debug dan ke komputer pengujian yang berbeda menggunakan opsi penyebaran untuk build rilis.

Aktifkan Pemverifikasi Driver

Anda dapat mengaktifkan Driver Verifier pada komputer uji untuk semua driver pada komputer, hanya untuk proyek driver, atau untuk daftar driver yang ditentukan. Misalnya, Anda mungkin ingin mengaktifkan Driver Verifier untuk set driver pada stack untuk perangkat tertentu.

Memverifikasi Driver

Menentukan driver mana yang akan diverifikasi pada komputer uji.

Semua Pengandar
Menentukan bahwa Pemverifikasi Driver memverifikasi semua driver yang terinstal pada komputer uji jarak jauh.

Output Proyek
Menentukan bahwa Pemverifikasi Driver memverifikasi proyek driver yang diinstal pada komputer uji jarak jauh. Ini adalah opsi default.

Daftar Driver
Menentukan driver atau daftar driver yang diverifikasi oleh Pemverifikasi Driver pada komputer pengujian jarak jauh. Misalnya, Anda dapat mencantumkan semua driver yang terkait dengan perangkat tertentu. Tentukan driver menurut nama biner, misalnya, Driver.sys. Gunakan titik koma untuk memisahkan daftar driver. Nilai kartubebas, seperti n*.sys, tidak didukung.

Bendera Standar Pemverifikasi Driver

Anda dapat mengonfigurasi opsi Pemverifikasi Driver berikut pada komputer uji.

  • Pemeriksaan kepatuhan DDI (Windows 8)

    Ketika opsi ini aktif, Driver Verifier menerapkan serangkaian aturan antarmuka driver perangkat (DDI) yang memeriksa interaksi yang tepat antara driver dan antarmuka kernel sistem operasi.

  • Deteksi kebuntuan

    Ketika opsi ini aktif, Driver Verifier memantau penggunaan spinlock, mutex, dan fast mutex oleh driver. Ini mendeteksi apakah kode driver berpotensi menyebabkan kebuntuan di beberapa titik.

  • Verifikasi DMA

    Ketika opsi ini aktif, Driver Verifier memantau penggunaan rutinitas akses memori langsung (DMA) driver. Ini mendeteksi penggunaan buffer, adaptor, dan register peta DMA yang tidak tepat.

  • Penegakan Pemeriksaan IRQL

    Ketika opsi ini aktif, Driver Verifier menempatkan tekanan memori ekstrem pada driver dengan mengubah kode yang dapat dihalaman menjadi tidak valid. Jika driver mencoba mengakses memori halaman di IRQL yang salah atau saat memegang kunci spin, Driver Verifier mendeteksi perilaku ini.

  • Verifikasi I/O

    Ketika opsi ini aktif, Driver Verifier mengalokasikan Paket Permintaan Interupsi (IRP) driver dari kumpulan khusus, dan memantau penanganan I/O driver. Ini mendeteksi penggunaan rutinitas I/O yang ilegal atau tidak konsisten. Driver Verifier juga memantau panggilan beberapa rutinitas I/O Manager dan melakukan pengujian stres IRP Plug-and-Play (PnP), IRP daya, dan IRP WMI.

  • Pemeriksaan lain-lain

    Ketika opsi ini aktif, Driver Verifier mencari penyebab umum crash driver, seperti kesalahan penanganan memori yang dibebaskan.

  • Pelacakan Pool

    Ketika opsi ini diaktifkan, Driver Verifier memeriksa apakah driver telah membebaskan semua alokasi memorinya saat dilepas. Ini mengungkapkan kebocoran memori.

  • Pemeriksaan keamanan

    Ketika opsi ini aktif, Driver Verifier mencari kesalahan umum yang dapat mengakibatkan kerentanan keamanan, seperti referensi ke alamat mode pengguna oleh rutin mode kernel.

  • Pemeriksaan kumpulan khusus

    Ketika opsi ini aktif, Driver Verifier mengalokasikan sebagian besar permintaan memori driver dari kumpulan khusus. Pool khusus ini dipantau guna mendeteksi kelebihan memori, kekurangan memori, dan memori yang diakses setelah dibebaskan.

Pengaturan Spesifik Skenario Pemverifikasi Driver

Opsi Pemverifikasi Driver yang memerlukan Verifikasi I/O

Ada empat opsi yang mengharuskan Anda untuk terlebih dahulu mengaktifkan Verifikasi I/O. Jika Verifikasi I/O tidak diaktifkan, opsi ini tidak diaktifkan.

  • Last updated on