Interpretazione dei risultati del driver statico
Quando si avvia Static Driver Verifier da Visual Studio ed si esegue un'analisi del driver, i risultati vengono visualizzati nel riepilogo risultati nella scheda Principale.
Statistiche
Punti di ingresso Indica il numero di punti di ingresso trovati nel codice sorgente del driver. I punti di ingresso sono le routine di callback o dispatch fornite dal driver. I punti di ingresso vengono definiti usando le dichiarazioni del tipo di ruolo della funzione. Per eseguire l'analisi, SDV deve trovare almeno un punto di ingresso. Per altre informazioni, vedere Uso delle dichiarazioni del tipo di ruolo della funzione.
I difetti rilevati Segnalano il numero di difetti rilevati durante l'analisi. Un difetto è una violazione di una regola di conformità DDI.
I test eseguiti Segnala il numero di regole testate durante l'analisi. Queste sono le regole selezionate nella scheda Regole .
Stato
Segnala lo stato dell'analisi. Al termine, è possibile esaminare i risultati trovati.
Risultati
Completato (regola)
SDV ha testato il driver per la violazione della regola, ma non è riuscito a dimostrare alcuna violazione della regola.
Questo risultato non significa che il driver è privo di errori. Significa solo che SDV non è riuscito a dimostrare che ha violato la regola nel passaggio di verifica.
Difetto
Se SDV ha segnalato uno o più difetti, fare clic sul collegamento Difetti per usare il Report verifica driver statico per visualizzare la traccia dell'errore.
Non applicabile
SDV ha testato il driver per la violazione della regola, ma il driver non supporta il punto di ingresso necessario per l'analisi o il driver non ha chiamato la funzione monitorata dalla regola.
Se la regola monitora un argomento specifico in una chiamata di funzione (in genere, un puntatore a una risorsa) e il driver non chiama la funzione o non fa riferimento a tale argomento, la regola non si applica al driver.
Se il driver specifica i punti di ingresso e chiama le funzioni monitorate dalla regola, questo risultato potrebbe indicare che SDV non è stato trovato o non ha interpretato correttamente il punto di ingresso. Per verificare che si sia verificata questa situazione, esaminare e, se necessario, correggere il file Sdv-map.h . Per informazioni su questa procedura, vedere Analisi del driver.
Per altre informazioni su ogni regola, vedere le informazioni di riferimento sulle regole di verifica del driver statico.
Per esaminare ulteriormente il driver, eseguire una verifica usando regole diverse.
Timeout
SDV ha interrotto la verifica della regola perché ha superato il limite di tempo per la verifica di ogni regola. Il limite di tempo viene impostato nel file opzioni del driver statico o nel campo Tempo massimo nella scheda Configurazione .
Un timeout viene considerato un risultato inconclusivo. Non indica un errore del driver. Se SDV segnala un timeout, estendere il tempo consentito per la verifica (il valore SDV_SlamConfig_Timeout nel file sdv-default.xmlfile) ed eseguire di nuovo la verifica.
Completed (Property)
SDV ha eseguito la regola della proprietà del driver per il driver specificato. Una regola delle proprietà del driver verifica la presenza di funzionalità del driver o funzionalità supportate ed è un preludio per un'ulteriore analisi. Ad esempio, la regola della proprietà del driver, CancelRoutine, verifica se il driver WDM ha registrato una routine Cancel. Se non viene rilevata una routine Cancel , non vengono applicate regole WDM specifiche. Ciò significa che la proprietà del driver non è stata soddisfatta.
Satisfied (Property)
SDV ha eseguito la regola della proprietà del driver per il driver specificato. Una regola delle proprietà del driver verifica la presenza di funzionalità del driver o funzionalità supportate ed è un preludio per un'ulteriore analisi. Ad esempio, la regola della proprietà del driver, CancelRoutine, verifica se il driver WDM ha registrato una routine Cancel. Se viene rilevata una routine Cancel , si applicano regole WDM specifiche. Ciò significa che la proprietà del driver è stata soddisfatta
Spaziatura
Numero di regole che SDV ha interrotto la verifica perché ha superato il limite di memoria per la verifica della regola. Il limite di memoria viene impostato nel file delle opzioni del driver statico sdv-default.xml.
Uno spazioout viene considerato un risultato inconclusivo. Se SDV segnala uno spazio, estendere lo spazio assegnato per la verifica (il valore SDV_SlamConfig_Spaceout nel file di sdv-default.xml ) ed eseguire di nuovo la verifica.
Altro
Numero di volte in cui SDV ha rilevato un errore interno da cui non è stato possibile recuperare. Per altre informazioni sugli errori e sul debug, vedere la pagina Messaggi di errore del driver statico.