Diagnostik Pemverifikasi Driver Statis

SDV memiliki mode diagnostik yang dapat membantu Anda dan Microsoft memecahkan masalah yang mungkin dihadapi SDV. Saat mode diagnostik diaktifkan, SDV mencatat pesan ke serangkaian file dalam proyek driver Anda, satu per tahap verifikasi dan per aturan.

Mengaktifkan Diagnostik

Mode diagnostik untuk SDV (juga dikenal sebagai mode debug) saat ini hanya dapat diaktifkan saat berjalan dari baris perintah. Untuk detail selengkapnya tentang menjalankan dari baris perintah, lihat Perintah Pemverifikasi Driver Statis (MSBuild).

Untuk mengaktifkan diagnostik, tambahkan bendera /debug setelah perintah /check . Contohnya:

msbuild /t:sdv /p:Inputs="/check:* /debug" mydriver.VcxProj /p:Configuration="Release" /p:Platform=x64

Mengaktifkan diagnostik akan menghasilkan lebih banyak output secara signifikan ke jendela perintah, serta pembuatan file log tertentu.

Memahami Diagnostik

SDV akan membuat beberapa file pada setiap tahap eksekusi yang akan memberikan detail tentang langkah tersebut. Ketika SDV gagal di tengah-tengah proses eksekusi, SDV tidak akan membuat file diagnostik apa pun untuk tahap selanjutnya.

File yang dibuat adalah, secara berurutan:

• smvexecute-NormalBuild.log: Ini terletak di direktori sumber driver Anda dan menunjukkan output upaya awal SDV untuk membangun driver tanpa instrumentasi dan analisis tambahan.

• smvexecute-InterceptedBuild.log: Ini terletak di direktori sumber driver Anda dan menunjukkan keluaran dari SDV saat membangun driver dengan menambahkan kait analisis.

• smvcl.log: Ini terletak di direktori "sdv" yang dibuat di proyek driver Anda oleh SDV. Ini menunjukkan output pengkompilasi dari langkah InterceptedBuild. Jika Anda melihat kegagalan di smvexecute-InterceptedBuild.log, Anda mungkin dapat menemukan detail tambahan di smvcl.log.

• smvexecute-Scan.log: Ini terletak di direktori "sdv" yang dibuat di proyek driver Anda oleh SDV. Output ini menunjukkan upaya SDV untuk memindai driver guna menemukan titik masuk. 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.

• smvexecute-FinalCompile.log: Salah satu file ini dibuat untuk setiap aturan yang diverifikasi oleh sdv, dan dapat ditemukan di subfolder SDV "sdv\check[rule name]" yang dibuat di proyek driver Anda. File ini menunjukkan output upaya SDV untuk membangun driver dengan model OS dan aturan tertentu.

• smvexecute-CheckRule.log: Salah satu file ini dibuat untuk setiap aturan yang diverifikasi oleh sdv, dan dapat ditemukan di subfolder SDV "sdv\check[rule name]" yang dibuat di proyek driver Anda. File ini menunjukkan output upaya SDV untuk memverifikasi aturan yang ditentukan terhadap driver Anda.

Carilah file yang sesuai dengan daftar tahap yang ditandai sebagai gagal dalam keluaran perintah. Jika kegagalan terjadi dalam langkah FinalCompile atau CheckRule , pastikan untuk memeriksa folder untuk aturan tertentu yang tercantum sebagai gagal.