Perintah Pemverifikasi Driver Statis (MSBuild)

Anda dapat menjalankan Pemverifikasi Driver Statis (SDV) di jendela Prompt Perintah Visual Studio , baik melalui penginstalan Windows Driver Kit (WDK) atau dengan menjalankan Enterprise Windows Driver Kit (EWDK). Navigasikan ke direktori tempat file proyek driver atau file proyek pustaka disimpan. Parameter dapat muncul dalam urutan apa pun pada baris perintah.

Catatan

SDV diintegrasikan ke dalam Visual Studio setelah penginstalan WDK dan juga dapat dijalankan dari IDE melalui menu "Driver".

msbuild /t:sdv /p:Inputs="Parameters" ProjectFile /p:Configuration=configuration /p:Platform=platform

Anda harus memilih konfigurasi Rilis (misalnya, /p:Configuration="Windows 7 Release"). Untuk daftar Konfigurasi Rilis yang didukung, lihat Membuat Driver. Platform dapat berupa Win32 (untuk x86) atau x64 (misalnya, /p:Platform=Win32).

Catatan

Pastikan untuk memeriksa rencana manajemen daya komputer Anda untuk memastikan komputer tidak akan masuk ke status tidur selama analisis.

Parameter

/Scan

Memindai kode sumber driver untuk deklarasi jenis peran fungsi. Untuk informasi tentang cara mendeklarasikan fungsi panggilan balik yang disediakan driver dan rutinitas pengiriman, lihat Menggunakan Deklarasi Jenis Peran Fungsi. Selama pemindaian ini, SDV mencoba mendeteksi titik masuk driver yang diperlukan untuk memverifikasi driver. Ini mencatat hasil pemindaian di Sdv-map.h, file yang dibuatnya di direktori proyek driver.

Untuk informasi selengkapnya, lihat Menyiapkan kode sumber Anda.

/check:Aturan Aturan | ,...

Memulai verifikasi dengan aturan yang ditentukan. Anda dapat menentukan lebih dari satu aturan dengan memisahkan setiap aturan dengan koma. Jalankan perintah /check: dan tentukan file proyek Visual Studio driver (*.vcxproj).

Aturan adalah nama satu aturan atau pola nama aturan yang menyertakan karakter kartubebas (*) untuk mewakili satu atau beberapa karakter. Saat digunakan sendiri, karakter kartubebas (*) mewakili semua aturan.

/check:RuleList.sdv

Memulai verifikasi dengan aturan dalam file daftar aturan yang ditentukan. Anda hanya dapat mencantumkan satu file dengan parameter ini. Dalam file daftar aturan, setiap baris dapat menjadi nama satu aturan atau bisa menjadi karakter kartubebas (*), yang mewakili semua aturan SDV. Jalankan perintah /check:RuleList.sdv dan tentukan file proyek Visual Studio driver (*.vcxproj).

RuleList.sdv adalah jalur dan nama file yang sepenuhnya memenuhi syarat dari file daftar aturan. File harus memiliki ekstensi nama file .sdv . Kecuali file berada di direktori lokal, jalur diperlukan. Jika jalur atau nama file menyertakan spasi, Anda harus menyertakan RuleList.sdv dalam tanda kutip.

Jika Anda menentukan opsi /check: tanpa menentukan aturan, SDV berjalan dengan seperangkat aturan default untuk model driver.

/Lib

Memproses pustaka dalam direktori saat ini. SDV memanggil MSBuild.exe untuk mengkompilasi dan membangun pustaka untuk penggunaan eksternal, dan menghasilkan file yang diperlukan untuk menyertakan pustaka dalam verifikasi driver.

Gunakan parameter ini sebelum memverifikasi driver yang memerlukan pustaka. Jalankan perintah msbuild /t:sdv /p:Inputs="/lib" dan tentukan file proyek Visual Studio (*.vcxproj) untuk pustaka.

Untuk informasi selengkapnya tentang penggunaan dan efek parameter /lib , lihat Pemrosesan Pustaka di Pemverifikasi Driver Statis.

/Lihat

Membuka Pemverifikasi Driver Statis. Jalankan perintah /view dan tentukan file proyek Visual Studio driver (*.vcxproj).

Hasilnya tersedia segera setelah verifikasi selesai, dan tetap tersedia sampai Anda menggunakan perintah /clean untuk menghapus file SDV dari direktori proyek driver.

/Bersih

Menghapus file SDV dari direktori. Karena file-file ini digunakan untuk menghasilkan tampilan Laporan Pemverifikasi Driver Statis, perintah /clean juga menghapus laporan verifikasi.

Jalankan perintah /clean dan tentukan file proyek Visual Studio (*.vcxproj) untuk driver atau pustaka. Perintah menghapus file SDV hanya untuk proyek yang ditentukan.

Jalankan perintah /clean untuk proyek driver sebelum setiap verifikasi.

Jalankan perintah /clean untuk pustaka saat file pustaka sudah kedaluarsa, seperti saat kode pustaka berubah.

Perintah /clean tidak menghapus file Sdv-map.h, jika bendera yang disetujui diatur ke true dalam file Sdv-map.h (Disetujui=true). SDV kemudian dapat menggunakan file ini untuk verifikasi di masa mendatang.

/?

Menampilkan penggunaan untuk perintah SDV. Perintah yang menggunakan parameter ini tidak harus dijalankan di jendela lingkungan build.

Komentar

Menjalankan msbuild /t:/sdv p:/Inputs= /? tanpa parameter menampilkan penggunaan untuk perintah SDV.

Perintah /clean menghapus file yang digunakan SDV untuk membuat tampilan Laporan Pemverifikasi Driver Statis untuk verifikasi. Setelah menjalankan perintah ini, Laporan Pemverifikasi Driver Statis untuk verifikasi tidak lagi tersedia.

Contoh

Untuk menjalankan SDV menggunakan semua aturan pada file driver di direktori lokal untuk proyek mydriver:

msbuild /t:sdv /p:Inputs="/check:*" mydriver.VcxProj /p:Configuration="Windows 7 Release"/p:Platform=Win32

Untuk menjalankan SDV menggunakan aturan CancelSpinLock pada file driver di direktori lokal:

msbuild /t:sdv /p:Inputs="/check:CancelSpinLock" mydriver.VcxProj /p:Configuration="Windows 7 Release" /p:Platform=Win32

Untuk menjalankan SDV menggunakan aturan yang ditentukan dalam file daftar aturan Rules1.sdv di direktori D:\SDV:

msbuild /t:sdv /p:Inputs="/check:D:\SDV\Rules1.sdv" mydriver.VcxProj /p:Configuration="Windows 7 Release" /p:Platform=Win32

Untuk menjalankan SDV lagi, kali ini menggunakan opsi /clean:

msbuild /t:sdv /p:Inputs="/clean" mydriver.VcxProj /p:Configuration="Windows 7 Release"/p:Platform=Win32

Untuk menampilkan Pemverifikasi Driver Statis sehingga Anda dapat melihat hasil untuk verifikasi driver terbaru di direktori lokal:

msbuild /t:sdv /p:Inputs="/view" mydriver.VcxProj /p:Configuration="Windows 7 Release" /p:Platform=Win32

Menggunakan Pemverifikasi Driver Statis untuk Menemukan Cacat pada Driver Windows