Menginterpretasikan Hasil Pemverifikasi Driver Statis

Saat Anda meluncurkan Pemverifikasi Driver Statis dari Visual Studio dan menjalankan analisis driver Anda, hasilnya muncul di ringkasan Hasil pada tab Utama.

Statistik

Titik masuk Melaporkan jumlah titik masuk yang ditemukan dalam kode sumber driver. Titik masuk adalah rutinitas panggilan balik atau pengiriman yang disediakan pengemudi. Anda menentukan titik entri menggunakan deklarasi jenis peran fungsi. Untuk melakukan analisis, SDV harus menemukan setidaknya satu titik masuk. Untuk informasi selengkapnya, lihat Menggunakan Deklarasi Tipe Peran Fungsi.

Cacat yang ditemukan Melaporkan jumlah cacat yang ditemukan selama analisis. Cacat adalah pelanggaran Aturan Kepatuhan DDI.

Pengujian yang dijalankan Melaporkan jumlah aturan yang diuji selama analisis. Ini adalah aturan yang Anda pilih pada tab Aturan .

Status

Melaporkan status analisis. Setelah selesai, Anda dapat meninjau hasil yang ditemukan.

Hasil

Selesai (Aturan)
SDV menguji driver untuk pelanggaran aturan tetapi tidak dapat membuktikan pelanggaran aturan.

Hasil ini tidak berarti bahwa driver bebas kesalahan. Artinya hanya SDV yang tidak dapat membuktikan bahwa SDV melanggar aturan dalam lolos verifikasi.

Cacat
Jika SDV melaporkan satu atau beberapa cacat, klik tautan Cacat untuk menggunakan Laporan Pemverifikasi Driver Statis untuk melihat jejak kesalahan.

Tidak Berlaku
SDV menguji driver untuk pelanggaran aturan, tetapi driver tidak mendukung titik masuk yang diperlukan untuk analisis atau driver tidak memanggil fungsi yang dipantau aturan.

Jika aturan memantau argumen tertentu dalam panggilan fungsi (biasanya, penunjuk ke sumber daya) dan driver tidak memanggil fungsi atau tidak mereferensikan argumen tersebut, aturan tidak berlaku untuk driver.

Jika driver menentukan titik masuk dan memang memanggil fungsi yang dipantau aturan, hasil ini mungkin menunjukkan bahwa SDV tidak menemukan atau tidak menginterpretasikan titik masuk dengan benar. Untuk mengonfirmasi bahwa situasi ini terjadi, periksa dan, jika perlu, perbaiki file Sdv-map.h . Untuk informasi tentang prosedur ini, lihat Memindai Driver.

Untuk informasi selengkapnya tentang setiap aturan, lihat referensi Aturan Pemverifikasi Driver Statis.

Untuk memeriksa driver lebih lanjut, jalankan verifikasi menggunakan aturan yang berbeda.

Timeout
SDV berhenti memverifikasi aturan karena melebihi batas waktunya untuk memverifikasi setiap aturan. Batas waktu diatur dalam File Opsi Pemverifikasi Driver Statis, atau di bidang Waktu maksimum pada tab Konfigurasi .

Batas waktu dianggap sebagai hasil yang tidak meyakinkan. Ini tidak menunjukkan kesalahan driver. Jika SDV melaporkan batas waktu, perpanjang waktu yang diizinkan untuk verifikasi ( nilai SDV_SlamConfig_Timeout di sdv-default.xmlfile) dan jalankan verifikasi lagi.

Selesai (Properti)
SDV menjalankan aturan properti driver untuk driver yang ditentukan. Aturan properti driver memeriksa kemampuan driver atau fitur yang didukung dan merupakan pendahuluan untuk analisis lebih lanjut. Misalnya, aturan properti driver, CancelRoutine, memeriksa untuk melihat apakah driver WDM telah mendaftarkan rutinitas Batal. Jika rutinitas Batal tidak terdeteksi, aturan WDM tertentu tidak berlaku. Ini berarti bahwa properti driver tidak terpenuhi.

Puas (Properti)
SDV menjalankan aturan properti driver untuk driver yang ditentukan. Aturan properti driver memeriksa kemampuan driver atau fitur yang didukung dan merupakan pendahuluan untuk analisis lebih lanjut. Misalnya, aturan properti driver, CancelRoutine, memeriksa untuk melihat apakah driver WDM telah mendaftarkan rutinitas Batal. Jika rutinitas Batal terdeteksi, aturan WDM tertentu berlaku. Ini berarti bahwa properti driver terpenuhi

Spasi habis
Jumlah aturan yang berhenti diverifikasi SDV karena melebihi batas memori untuk memverifikasi aturan. Batas memori diatur dalam File Opsi Pemverifikasi Driver Statis, sdv-default.xml.

Ruang habis dianggap sebagai hasil yang tidak meyakinkan. Jika SDV melaporkan spasi, perluas ruang yang dialokasikan untuk verifikasi ( nilai SDV_SlamConfig_Spaceout dalam file sdv-default.xml) dan jalankan verifikasi lagi.

Lainnya

Frekuensi SDV mengalami kesalahan internal yang tidak dapat dipulihkan. Lihat halaman Pesan Kesalahan Pemverifikasi Driver Statis untuk informasi selengkapnya tentang kesalahan dan penelusuran kesalahan.