Illesztőprogramok kódelemzése

Az illesztőprogramok kódelemzése egy fordítási idejű statikus ellenőrző eszköz, amely alapvető kódolási hibákat észlel a C és C++ programokban, és tartalmaz egy speciális modult, amely (elsősorban) kernel módú illesztőprogram-kód hibáinak észlelésére szolgál.

A WDK korábbi verzióiban a kódelemzéshez használt illesztőprogram-specifikus modul a PREfast for Drivers (PFD) nevű különálló eszköz része volt. A PREfast for Drivers is integrálva lett a WDK buildkörnyezetébe a Microsoft Automatikus kódvizsgálat (OACR) részeként. A Windows Driver Kit (WDK) 8-tól kezdve az illesztőprogram-specifikus funkciók integrálva lettek az alkalmazásminőség elemzésével a Code Analysis Tools használatával.

Fontos

A Windows hardverkompatibilitási programhoz a Statikus eszköz emblémájának (STL) teszteléséhez szükséges a CodeQL az ügyfél- és kiszolgáló operációs rendszereken. Továbbra is támogatjuk az SDV-t és a CA-t a régebbi termékeken. A partnereknek javasoljuk, hogy tekintse át a statikus eszköz emblémájának tesztelésére vonatkozó CodeQL-követelményeket. További információ a CodeQL használatáról a következőben található: CodeQL és a Static Tools Logo Test.

Ebben a szakaszban

• Illesztőprogramok kódelemzése – áttekintés
• Kódelemzés futtatása illesztőprogramokhoz
• SAL 2 széljegyzetek Windows-illesztőprogramokhoz
• Illesztőprogramok kódelemzése – figyelmeztetések

Fontos

Az illesztőprogramok kódelemzése a Windows 24H2 WDK-ban és az EWDK-ban érhető el, de felhívjuk a figyelmét, hogy ezt a jövőben megszüntetik.
A továbbiakban a CodeQL lesz az illesztőprogramok elsődleges statikus elemző eszköze. A CodeQL hatékony lekérdezési nyelvet biztosít, amely a kódot adatbázisként kezeli lekérdezni, így egyszerűen írhat lekérdezéseket adott viselkedések, minták és egyebek céljából. További információ a CodeQL használatáról a következőben található: CodeQL és a Static Tools Logo Test.