Cara membuat log verifikasi driver
Program Sertifikasi Perangkat Keras Windows memerlukan log verifikasi driver (DVL) untuk pengiriman driver. DVL berisi ringkasan hasil dari 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 selengkapnya, lihat Uji Logo Alat Statis dan CodeQL dan Uji Logo Alat Statis.
Siapkan driver
- Sebelum menjalankan alat analisis kode, buat dan tautkan driver Anda menggunakan Windows Driver Kit (WDK) terbaru.
- 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 Anda sertifikasi, lihat Uji Logo Alat Statis.
Jalankan pengujian berikut, sesuai kebutuhan.
Jalankan CodeQL. Alamat dan perbaiki cacat yang ditemukan. Sertifikasi gagal jika cacat yang dianggap "Harus Diperbaiki" tidak diperbaiki. Untuk informasi selengkapnya tentang CodeQL dan Uji Logo Alat Statis, lihat CodeQL dan Uji Logo Alat Statis.
Jalankan Pemverifikasi Driver Statis. Untuk informasi tentang membuat file log, lihat Membuat file log untuk Pemverifikasi Driver Statis dan Menggunakan Pemverifikasi Driver Statis untuk menemukan cacat pada driver.
Jalankan alat Analisis Kode untuk driver. Mengatasi dan memperbaiki cacat yang ditemukan. Lihat Membuat file log untuk alat analisis kode dan Cara menjalankan Analisis Kode untuk driver. Untuk informasi selengkapnya tentang analisis kode, lihat Menganalisis Kualitas Aplikasi dengan Menggunakan Alat Analisis Kode.
Membuat log verifikasi driver
- Dari menu Driver , pilih Buat Log Verifikasi Driver.
- Verifikasi bahwa file Log Analisis Kode, Log Pemverifikasi Driver Statis, dan Log CodeQL terdeteksi.
- Pilih Buat.
Log verifikasi driver memiliki ekstensi nama file . 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 pada komputer pengujian. 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.
Menggunakan 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 mengirimkan sebagai bagian dari Windows Driver Kit (WDK) dan Enterprise WDK (eWDK) komponen yang disebut dvl.exe yang dapat digunakan untuk menghasilkan log verifikasi driver (DLL) melalui baris perintah. Mulai pratinjau WDK/eWDK versi 21342 ke atas, dimungkinkan untuk menghasilkan DVL dari baris perintah di luar konteks msbuild atau Visual Studio.
Hasilkan DVL dari file sarif CodeQL
- Temukan dvl.exe dari WDK atau eWDK yang dipasang. Biasanya diinstal di C:\Program Files (x86)\Windows Kits\10\Tools\dvl\dvl.exe
- Panggil dvl.exe dengan meneruskan
/manualCreate
bendera, nama driver, arsitektur yang diinginkan, dan/sarifPath
. Di mana/sarifPath
menyertakan 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
Tempatkan hasil yang harus digunakan untuk membuat DVL dalam satu direktori, bersama dengan file vcxproj apa pun. Agar driver disertifikasi untuk Klien Windows, file ini adalah file CodeQL SARIF. 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 harus dijalankan untuk sertifikasi driver perangkat.
Tempatkan file CodeQL SARIF dan file XML Analisis Kode di tingkat atas direktori. Tempatkan file DVL.xml SDV di subfolder yang disebut sdv.
Navigasikan ke direktori tingkat atas yang berisi file CodeQL SARIF dari baris perintah.
Temukan dvl.exe dari WDK atau eWDK yang dipasang.
Panggil dvl.exe dengan meneruskan
/manualCreate
bendera, 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 Anda.
Periksa DVL untuk memastikan bahwa DVL 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, Pemverifikasi Driver Statis, dan log verifikasi driver, ada di catatan rilis WDK pada halaman unduhan Windows Driver Kit (WDK).
Topik terkait
- Membuat file log untuk Pemverifikasi Driver Statis
- Membuat file log untuk alat analisis kode
- Program Sertifikasi Perangkat Keras
- Menganalisis Kualitas Driver dengan Menggunakan Alat Analisis Kode
- Cara menjalankan Analisis Kode untuk driver
- Menggunakan Verifier Driver Statis untuk menemukan cacat pada driver
- CodeQL dan Uji Logo Alat Statis