Pemrosesan Pustaka di Pemverifikasi Driver Statis

Banyak driver bergantung pada pustaka fungsi yang ditautkan secara dinamis dan statis. Biasanya, pustaka mencakup fungsi pemrosesan umum, tetapi dalam beberapa situasi, pustaka tersebut menyertakan fungsionalitas yang integral untuk driver.

Pustaka sangat penting untuk menentukan apakah driver mematuhi aturan antarmuka. Misalnya, tanpa kode pustaka, driver mungkin tampaknya telah melewatkan panggilan yang diperlukan yang disertakan dalam pustaka. Atau, pustaka mungkin menyertakan panggilan yang diduplikasi driver, menyebabkan kesalahan berulang, seperti melepaskan kunci dua kali.

Untuk menyertakan pustaka dalam verifikasi driver, SDV harus terlebih dahulu memproses pustaka untuk menyiapkannya untuk digunakan dalam memverifikasi driver.

SDV mencoba mendeteksi dan memproses semua pustaka yang bergantung pada driver secara otomatis, tetapi karena tidak mengetahui lokasi beberapa file sumber pustaka, ia tidak dapat secara otomatis memproses pustaka ini dan menyertakannya dalam verifikasi driver. Untuk memastikan SDV memberikan analisis yang paling akurat untuk driver Anda, Anda harus menambahkan pustaka apa pun yang direferensikan driver Anda secara manual ke cache pustaka SDV dengan mengklik tab Pustaka dan memilih Tambahkan Pustaka untuk memproses pustaka. Jika Anda berjalan di baris perintah, Anda dapat menambahkan pustaka dengan menjalankan sdv dengan perintah /lib terhadap proyek pustaka.

Setelah SDV memproses pustaka, SDV mempertahankan file pemrosesannya untuk pustaka tersebut dan secara otomatis menyertakan kode pustaka dalam verifikasi semua driver yang memerlukan pustaka. Anda tidak perlu memproses ulang pustaka kecuali kode pustaka berubah. Untuk instruksi tentang pemrosesan ulang pustaka, lihat Memproses ulang Pustaka.

Bagian ini meliputi:

Memproses Pustaka

Memproses ulang Pustaka

Komentar

SDV menyertakan file pustaka yang diproses untuk pustaka sistem. Anda tidak perlu mengarahkan SDV untuk memproses pustaka ini. Ketika SDV mendeteksi bahwa driver bergantung pada pustaka ini, SDV menggunakan file yang diproses untuk pustaka ini tanpa menampilkan pesan peringatan. Untuk informasi tentang persyaratan pustaka, lihat Menentukan apakah Pemverifikasi Driver Statis mendukung driver atau pustaka Anda.