File Input Pemverifikasi Driver Statis

Mesin verifikasi SDV mengambil file berikut sebagai input untuk proses verifikasi. Hanya file sumber driver dan file model sistem operasi yang diperlukan untuk semua verifikasi.

• File proyek driver dan kode sumber. Jalankan SDV di direktori tempat file proyek berada.

• File model sistem operasi. SDV memilih dan menyusun file model sistem operasi berdasarkan aturan yang Anda pilih untuk verifikasi.

• File pustaka yang diproses. File pustaka hanya diperlukan ketika driver bergantung pada pustaka non-sistem. Untuk informasi dan instruksi, lihat Pemrosesan Pustaka di Pemverifikasi Driver Statis.

• File daftar aturan. Lihat Perintah Pemverifikasi Driver Statis (MSBuild).

• File Opsi Pemverifikasi Driver Statis. SDV membuat file opsi global yang berisi pengaturan yang berlaku untuk semua verifikasi SDV. Untuk membuat file opsi lokal untuk driver, salin file opsi global. Anda kemudian dapat mengedit salinan file opsi global untuk membuat file opsi lokal untuk driver.

Saat mengevaluasi hasil verifikasi SDV, sangat penting untuk memeriksa file input untuk mengonfirmasi keakuratan dan kelengkapan semua file input yang digunakan dalam verifikasi.

Bagian ini mencakup deskripsi terperinci tentang file berikut:

File Daftar Aturan Pemverifikasi Driver Statis

File Opsi Pemverifikasi Driver Statis