Pesan Kesalahan Pemverifikasi Driver Statis

Bagian ini menjelaskan arti dari beberapa pesan kesalahan SDV yang lebih sering dilihat dan menyarankan metode untuk menyelesaikannya.

Saat meluncurkan SDV dari Visual Studio, Anda mungkin melihat kesalahan berikut:

• SDV hanya beroperasi pada konfigurasi non-debug: Seperti yang dikatakan pesan, SDV harus dijalankan pada konfigurasi non-debug. Pastikan proyek Anda diatur ke konfigurasi Rilis atau buatlah satu jika belum tersedia dan luncurkan SDV kembali.
• Terjadi kesalahan saat memuat aturan yang tersedia: SDV tidak dapat menemukan aturan untuk model driver Anda atau tidak dapat menentukan model driver dengan benar (jauh lebih mungkin jika driver Anda bukan driver WDM, KMDF, NDIS, atau Storport). Jika WDK Anda diinstal dengan benar, Anda mungkin dapat mengatasi kesalahan ini dengan menjalankan SDV dari baris perintah secara langsung (lihat perintah Pemverifikasi Driver Statis (MSBuild)).
• SDV tidak dapat membersihkan direktori driver: Dalam beberapa kasus, kesalahan izin dapat mencegah SDV membersihkan hasil lama dengan benar dari direktori driver ketika Anda mengklik tombol "Bersihkan". Kesalahan ini juga akan terjadi jika file sdv dari eksekusi sebelumnya saat ini sedang digunakan. Pastikan tidak ada yang menggunakan file SDV di direktori driver Anda, lalu hapus folder "sdv" dan "sdv.temp" dan file "staticdv.job" apa pun.

Jika SDV gagal saat mencoba analisis, SDV akan mencetak tahap gagal ke output standar. Saat menjalankan SDV dari Visual Studio GUI, Anda dapat melihat output ini dengan beralih ke tab "Pemberitahuan".

Tahapan di mana SDV mungkin gagal adalah:

• NormalBuild: SDV tidak dapat membangun driver menggunakan perintah MSBuild standar. Ini dapat terjadi jika Anda memiliki logika build khusus, mengandalkan elemen solusi dalam file proyek Anda, atau memiliki komponen build eksternal. Jika proyek Anda bergantung pada properti $(SolutionDir), Anda dapat menyediakan variabel ini secara langsung dengan menjalankan kembali SDV dari baris perintah dan menambahkannya ke baris perintah dengan menambahkan /p:SolutionDir=[dir solusi Anda] ke akhir perintah MSBuild. Lihat Perintah Pemverifikasi Driver Statis (MSBuild).
• InterceptedBuild: SDV tidak dapat membangun driver untuk analisis.
• Pemindaian: SDV tidak dapat menemukan titik masuk driver. Kesalahan di sini mungkin menunjukkan bahwa tidak ada titik masuk yang ditemukan dan Anda harus memperbarui jenis peran fungsi atau sdv-map.h. Lihat Menggunakan Deklarasi Jenis Peran Fungsi dan Menyetujui File Sdv-map.h untuk informasi selengkapnya.
• FinalCompile: SDV tidak dapat mengkompilasi driver Anda dengan aturan dan model OS.
• CheckRule: SDV tidak dapat memverifikasi aturan dengan benar.

Anda mungkin dapat mempelajari detail selengkapnya tentang kesalahan dengan mengaktifkan diagnostik untuk SDV. Silakan lihat Diagnostik Pemverifikasi Driver Statis untuk detailnya.