Sampel alat
Sampel driver dalam direktori ini berisi kesalahan kode yang disengaja yang dirancang untuk menunjukkan kemampuan dan fitur Static Driver Verifier (SDV).
SDV adalah alat verifikasi statis yang secara sistematis menganalisis kode sumber driver mode kernel Windows. SDV disertakan dalam Windows Driver Kit (WDK) dan dapat dijalankan dari Microsoft Visual Studio.
| Sampel | Deskripsi |
|---|---|
| DV-FailDriver-WDM | Sampel ini menunjukkan bagaimana DV dapat menemukan kesalahan dalam driver WDM. |
| SDV-FailDriver-KMDF | Sampel ini menunjukkan bagaimana SDV dapat menemukan kesalahan dalam driver KMDF. |
| SDV-FailDriver-NDIS | Sampel ini menunjukkan bagaimana SDV dapat menemukan kesalahan dalam driver NDIS. |
| SDV-FailDriver-STORPORT | Sampel ini menunjukkan bagaimana SDV dapat menemukan kesalahan di driver Storport. |
| SDV-FailDriver-WDM | Sampel ini menunjukkan bagaimana SDV dapat menemukan kesalahan dalam driver WDM. |
Saran dan Komentar
Segera hadir: Sepanjang tahun 2024 kami akan menghentikan penggunaan GitHub Issues sebagai mekanisme umpan balik untuk konten dan menggantinya dengan sistem umpan balik baru. Untuk mengetahui informasi selengkapnya, lihat: https://aka.ms/ContentUserFeedback.
Kirim dan lihat umpan balik untuk