Driver Verifier statico
Static Driver Verifier (noto anche come "StaticDV" o "SDV") è uno strumento di verifica statico che analizza sistematicamente il codice sorgente dei driver in modalità kernel di Windows. SDV è uno strumento in fase di compilazione in grado di individuare difetti e problemi di progettazione in un driver. In base a un set di regole di interfaccia e a un modello del sistema operativo, SDV determina se il driver interagisce correttamente con il kernel del sistema operativo Windows.
Installazione di Static Driver Verifier
Static Driver Verifier è disponibile come parte di Windows Driver Kit (WDK) sia nell'esperienza WDK completa che nel WDK Enterprise autonomo. Inoltre, per l'esecuzione di SDV sono necessari i pacchetti Visual C++ Redistributable per Visual Studio. Vedere la documentazione seguente:
- Ridistribuzione di Visual Studio 2019
- pacchetti Visual C++ Redistributable per Visual Studio 2017
- Visual C++ Redistributable Package per Visual Studio 2013
Per le versioni di SDV disponibili in WDK per Windows 10, versione 1809 o precedente, i pacchetti Visual C++ Redistributable per Visual Studio 2012 devono essere installati anziché i pacchetti 2017.
Visual Studio Integration
Static Driver Verifier è integrato in Visual Studio. È possibile eseguire l'analisi statica nel progetto driver di Visual Studio. È possibile avviare, configurare e controllare Static Driver Verifier dal menu Driver in Visual Studio.
Documentazione di Static Driver Verifier
- Problemi noti del driver statico: elenca i problemi noti più recenti per la verifica del driver statico
- Uso di Static Driver Verifier per trovare i difetti nei driver: indica cosa è necessario iniziare ad analizzare il codice del driver nell'ambiente di Visual Studio.
- Comandi di verifica driver statici (MSBuild): elenca i comandi di MSBuild da usare per eseguire SDV in una finestra del prompt dei comandi di Visual Studio.
- Introduzione a Static Driver Verifier: offre una panoramica dello strumento di analisi statica.
- Uso di Static Driver Verifier: fornisce i dettagli sull'uso e la configurazione dello strumento di analisi statica.
- Report verifica driver statico: descrive il visualizzatore che visualizza la traccia dettagliata dell'analisi statica del codice.
- Regole di verifica del driver statico: le regole definiscono i requisiti per l'interazione corretta tra un modello di driver e l'interfaccia kernel del sistema operativo.
- Riferimento al verifier del driver statico: fornisce informazioni di riferimento sui tipi di ruolo della funzione, i file di configurazione SDV, i messaggi di errore e di avviso.
Ricerca di bug nel codice del driver di Windows
Microsoft usa SDV per testare i driver in modalità kernel inclusi nel sistema operativo Microsoft Windows e per testare i driver di esempio in WDK. Usando le regole di conformità DDI per modelli di driver specifici, SDV può verificare il comportamento corretto del driver. Ad esempio, SDV può verificare che il driver:
- Chiama le funzioni nel runtime di integrazione corretto
- Acquisisce e rilascia blocchi nella sequenza corretta
- Usa correttamente le funzioni che gestiscono i pacchetti di richiesta di I/O (IRP)
SDV esamina tutti i percorsi possibili tramite il codice del driver. È progettato per trovare errori gravi in percorsi oscuri che probabilmente non si riscontrano anche in test approfonditi.
Risorse aggiuntive
Per informazioni specifiche sui driver che SDV possono verificare, vedere Driver supportati
Per altre informazioni e suggerimenti sull'uso di Static Driver Verifier, vedere quanto segue:
Commenti e suggerimenti
Presto disponibile: nel corso del 2024 verranno dismessi i problemi di GitHub come meccanismo di feedback per il contenuto e verranno sostituiti con un nuovo sistema di feedback. Per altre informazioni, vedere: https://aka.ms/ContentUserFeedback.
Invia e visualizza il feedback per