Cara membuat log verifikasi driver

The Program Sertifikasi Perangkat Keras Windows memerlukan log verifikasi driver (DVL) untuk pengajuan driver. DVL berisi ringkasan hasil alat analisis statis, CodeQL. DVL tidak berisi informasi kode sumber apa pun. Sebelum membuat DVL untuk driver Anda, jalankan CodeQL, alat analisis kode, dan pemverifikasi driver statis. Untuk informasi lebih lanjut, lihat Static Tools Logo Test dan CodeQL and the Static Tools Logo Test.

Penting

Karena masalah yang diketahui, menjalankan pengujian Static Tools Logo di Windows HLK (Diperbarui Mei 2026) untuk Windows 11, versi 25H2 akan menghasilkan kesalahan yang menyebutkan bahwa Log Verifikasi Driver tidak memenuhi persyaratan versi. Silakan jalankan CodeQL dan hasilkan DVL menggunakan Windows Driver Kit versi 28000.1761 seperti biasa, lalu terapkan pengecualian #320241 untuk membuka blokir pengajuan. Masalah ini akan diatasi di versi HLK berikutnya untuk Windows 11, versi 25H2.

Siapkan driver

  1. Sebelum menjalankan alat analisis kode, buat dan tautkan driver Anda menggunakan Windows Driver Kit (WDK) terbaru.
  2. Pilih Rilis untuk konfigurasi solusi dan x64 untuk platform solusi.

Menentukan dan menjalankan pengujian yang diperlukan

Untuk menentukan pengujian mana yang diperlukan untuk versi Windows yang ingin disertifikasi, lihat Pengujian Logo Alat Statis.

Jalankan pengujian berikut, sesuai kebutuhan.

Buat log verifikasi driver

  1. Dari menu Driver , pilih Buat Log Verifikasi Driver.
  2. Pastikan bahwa file Code Analysis Log, Static Driver Verifier Log, dan CodeQL Log terdeteksi.
  3. Pilih Buat.

Log verifikasi driver memiliki nama file berekstensi .DVL.XML. Log dibuat di folder proyek, misalnya, \myDriverProject\myDriverName.DVL.XML.

SDV melakukan pembangunan kembali driver yang bersih, yang menghapus log Analisis Kode. Dengan demikian, pastikan untuk menjalankan SDV sebelum menjalankan CA.

Ketika Anda siap untuk menguji driver Anda menggunakan Windows Hardware Lab Kit, salin log verifikasi driver ke direktori %systemdrive%\DVL di komputer uji. Hapus isi direktori pada komputer uji sebelum Anda menyalin log verifikasi driver baru.

Penting

Batas waktu, spasi, dan hasil lain yang tidak berhasil dalam file DVL dapat diterima untuk pengiriman sertifikasi. Hasil yang tidak berhasil tidak akan menyebabkan pengujian alat statis di HLK gagal.

Gunakan jendela Prompt Perintah Visual Studio

Anda juga dapat membuat log verifikasi driver dari jendela prompt perintah Visual Studio. Gunakan perintah alat asli Visual Studio yang diinstal dengan Visual Studio, atau Enterprise Windows Driver Kit (EWDK).

msbuild.exe <vcxprojectfile> /target:dvl /p:Configuration="Release" /P:Platform=x64

Membuat log verifikasi driver di luar msbuild atau Visual Studio

Microsoft menyertakan, sebagai bagian dari Windows Driver Kit (WDK) dan Enterprise WDK (eWDK), sebuah komponen bernama dvl.exe yang dapat digunakan untuk menghasilkan log verifikasi driver (DVL) melalui baris perintah. Mulai dari versi pratinjau WDK/eWDK 21342 dan yang lebih baru, Anda dapat membuat DVL dari baris perintah di luar msbuild atau Visual Studio.

Hasilkan DVL dari file sarif CodeQL

  1. Temukan dvl.exe dari WDK atau eWDK yang dipasang. Biasanya diinstal di C:\Program Files (x86)\Windows Kits\10\Tools\dvl\dvl.exe
  2. Panggil dvl.exe dengan memberikan flag /manualCreate, nama driver, arsitektur yang diinginkan, dan /sarifPath. Dengan /sarifPath mencakup jalur ke folder yang berisi file SARIF.
"C:\Program Files (x86)\Windows Kits\10\Tools\dvl\dvl.exe" /manualCreate <driverName> <driverArchitecture> /sarifPath <pathToSarifLocation>

Membuat DVL dari file sarif CodeQL, atau saat menggunakan CA dan SDV

  1. Tempatkan hasil yang harus digunakan untuk membuat DVL dalam satu direktori, bersama dengan file vcxproj apa pun. Agar driver dapat disertifikasi untuk Windows Client, file ini merupakan file SARIF CodeQL. Sertifikasi Windows Server mungkin juga menyertakan file hasil Analisis Kode dan Pemverifikasi Driver Statis (SDV). Periksa dokumen persyaratan WHCP untuk detail spesifik tentang alat mana yang wajib dijalankan untuk sertifikasi driver perangkat.

  2. Tempatkan file CodeQL SARIF dan file XML Analisis Kode di tingkat atas direktori. Tempatkan file DVL.xml SDV di subfolder yang disebut sdv.

  3. Navigasikan ke direktori tingkat atas yang berisi file CodeQL SARIF dari baris perintah.

  4. Temukan dvl.exe dari WDK atau eWDK yang dipasang.

  5. Panggil dvl.exe dengan memberikan flag /manualCreate, nama driver, dan arsitektur yang diinginkan. Contohnya:

    Gunakan salah satu string berikut untuk driverArchitecture Anda:

    • X86
    • X64
    • Lengan
    • Arm64

    Catatan

    Jangan sertakan ".sys" sebagai bagian dari string driverName.

  6. Periksa DVL untuk memastikan bahwa itu dihasilkan dengan benar.

Penggunaan ini terutama ditujukan untuk menghasilkan DLL dengan hasil CodeQL, tetapi juga dapat digunakan untuk hasil SDV dan CA.

Catatan rilis

Informasi terbaru tentang alat analisis kode, Static Driver Verifier, dan log verifikasi driver tersedia dalam catatan rilis WDK di halaman unduhan Windows Driver Kit (WDK).

  • Last updated on