Bagikan melalui

Menganalisis Driver Menggunakan Alat Analisis dan Verifikasi Kode

  • Artikel

Alat analisis dan verifikasi kode dapat membantu meningkatkan stabilitas dan keandalan driver Anda dengan menganalisis kode sumber secara sistematis. Alat analisis dan verifikasi kode dapat mendeteksi kesalahan yang terlewatkan oleh pengkompilasi dan oleh pengujian runtime konvensional. Selain itu, mereka dapat menentukan apakah driver berinteraksi dengan benar dengan kernel sistem operasi Windows. Dengan menggunakan Microsoft Visual Studio dan Windows Driver Kit (WDK), Anda dapat mengonfigurasi alat analisis dan verifikasi kode untuk dijalankan sebagai bagian dari proses build, atau Anda dapat menjadwalkan alat untuk menganalisis driver Anda pada waktu yang telah ditentukan.

Alat Analisis Kode C/C++ untuk Driver Windows

Rilis Windows 8 WDK memberikan penyempurnaan pada alat Analisis Kode C/C++ yang disertakan dengan Visual Studio. Secara khusus, WDK menyediakan modul driver khusus yang dirancang untuk mendeteksi kesalahan dalam kode driver mode kernel. Modul driver ini diintegrasikan ke dalam alat Analisis Kode C/C++.

Kapan harus menggunakan: Anda dapat menjalankan alat Analisis Kode C/C++ untuk driver sangat awal dalam siklus pengembangan, segera setelah kode dikompilasi dengan benar.

Untuk informasi tentang alat Analisis Kode di Visual Studio, lihat:

Catatan Dalam versi WDK sebelumnya, modul khusus driver untuk analisis kode adalah bagian dari alat mandiri yang disebut PREfast untuk Driver (PFD). PREfast untuk Driver juga diintegrasikan ke dalam lingkungan Build WDK, sebagai bagian dari Microsoft Automated Code Review (OACR).

Pemverifikasi Driver Statis

Static Driver Verifier (SDV) adalah alat verifikasi statis yang secara sistematis menganalisis kode sumber driver mode kernel Windows. SDV menentukan apakah driver berinteraksi dengan benar dengan kernel sistem operasi Windows. SDV dapat diluncurkan dari menu Driver di Visual Studio atau dari jendela Prompt Perintah Visual Studio .

Kapan harus menggunakan: Jalankan Pemverifikasi Driver Statis di awal siklus pengembangan pada driver yang mengkompilasi dengan benar. Jalankan Pemverifikasi Driver Statis sebelum Anda memulai siklus pengujian.

Untuk informasi tentang Pemverifikasi Driver Statis, lihat: