Interpretazione dei risultati del verificatore del driver statico

Quando si avvia Il verificatore driver statico da Visual Studio ed si esegue un'analisi del driver, i risultati vengono visualizzati nel riepilogo Risultati nella scheda Principale.

Statistiche

Punti di ingresso Segnala 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. Si definiscono i punti di ingresso usando dichiarazioni di tipo ruolo funzione. Per eseguire l'analisi, SDV deve fiindare almeno un punto di ingresso. Per altre informazioni, vedere Uso delle dichiarazioni del tipo di ruolo della funzione.

Difetti trovati Segnala il numero di difetti trovati durante l'analisi. Un difetto è una violazione di una regola di conformità DDI.

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 è stato possibile dimostrare alcuna violazione della regola.

Questo risultato non significa che il driver è libero dall'errore. Significa solo che SDV non poteva dimostrare che violava 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 ha trovato o non ha interpretato correttamente il punto di ingresso. Per verificare che questa situazione si sia verificata, 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 riferimento alle regole di verifica del driver statico .

Per esaminare ulteriormente il driver, eseguire una verifica usando regole diverse.

Timeout
SDV ha arrestato la verifica della regola perché ha superato il limite di tempo per verificare ogni regola. Il limite di tempo è impostato nel file opzioni del driver statico oppure 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 nuovamente la verifica.

Completato (proprietà)
SDV ha eseguito la regola della proprietà driver per il driver specificato. Una regola della proprietà driver verifica le funzionalità del driver o le funzionalità supportate ed è un preludio per ulteriori analisi. Ad esempio, la regola della proprietà driver CancelRoutine verifica se il driver WDM ha registrato una routine Annulla . Se non viene rilevata una routine Cancel , non si applicano regole WDM specifiche. Ciò significa che la proprietà del driver non è stata soddisfatta.

Soddisfatto (proprietà)
SDV ha eseguito la regola della proprietà driver per il driver specificato. Una regola della proprietà driver verifica le funzionalità del driver o le funzionalità supportate ed è un preludio per ulteriori analisi. Ad esempio, la regola della proprietà driver CancelRoutine verifica se il driver WDM ha registrato una routine Annulla . 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 arrestato la verifica perché ha superato il limite di memoria per verificare la regola. Il limite di memoria è impostato nel file opzioni di verifica driver statico sdv-default.xml.

Uno spazio viene considerato un risultato inconclusivo. Se SDV segnala uno spazio, estendere lo spazio assegnato per la verifica (il valore SDV_SlamConfig_Spaceout nel file sdv-default.xml ) ed eseguire nuovamente la verifica.

Altro

Numero di volte in cui SDV ha rilevato un errore interno da cui non è stato possibile ripristinare. Per altre informazioni sugli errori e il debug, vedere la pagina Messaggi di errore del driver statico .