Ytterligare verktyg för drivrutinsverifiering

I det här avsnittet

• Kodanalys för drivrutiner

• Statisk drivrutinsverifierare

• programverifierare

• Verifieringsapplikation för WDF

• WdfTester: WDF-verktyg för drivrutinstestning

Viktigt!

Windows Hardware Compatibility Program kräver CodeQL för STL-tester (Static Tool Logo) på våra klient- och serveroperativsystem. Vi kommer att fortsätta att ha stöd för SDV och CA på äldre produkter. Partner uppmuntras starkt att granska CodeQL-kraven för test av statiska verktygslogotyper. Mer information om hur du använder CodeQL finns i CodeQL och logotestet för statiska verktyg.