Messaggi di errore del driver statico

Questa sezione illustra il significato di alcuni dei messaggi di errore SDV più frequentemente visualizzati e suggerisce metodi per risolverli.

Quando si avvia SDV da Visual Studio, è possibile che vengano visualizzati gli errori seguenti:

• SDV funziona solo su configurazioni non di debug: come indicato nel messaggio, sdV deve essere eseguito in una configurazione non di debug. Assicurarsi che il progetto sia impostato su una configurazione di rilascio o crearne una se non disponibile e riavviare SDV.
• Si è verificato un errore durante il caricamento delle regole disponibili: SDV non riesce a trovare le regole per il modello di driver o non riesce a determinare correttamente il modello di driver (molto più probabile se il driver non è un driver WDM, KMDF, NDIS o Storport). Se il WDK è installato correttamente, è possibile risolvere questo errore eseguendo SDV direttamente dalla riga di comando (vedere comandi del Verificatore del driver statico (MSBuild)).
• SDV non è riuscito a pulire la directory del driver: in alcuni casi, gli errori di autorizzazioni potrebbero impedire a SDV di pulire correttamente i risultati precedenti dalla directory del driver quando si fa clic sul pulsante "Pulisci". Questo errore si verificherà anche se i file sdv delle esecuzioni precedenti sono attualmente in uso. Assicurarsi che non vengano usati i file SDV nella directory del driver, quindi rimuovere eventuali cartelle "sdv" e "sdv.temp" e tutti i file "staticdv.job".

Se SDV non riesce durante il tentativo di analisi, verrà stampata la fase in cui non è riuscito nell'output standard. Quando si esegue SDV dalla GUI di Visual Studio, è possibile visualizzare questo output passando alla scheda "Avvisi".

Le fasi SDV possono fallire in:

• NormalBuild: SDV non è riuscito a compilare il driver usando comandi MSBuild standard. Questo problema può verificarsi se la logica di compilazione è specializzata, si basa sugli elementi della soluzione nel file di progetto o se sono presenti componenti di compilazione esterni. Se il progetto si basa sulla proprietà $(SolutionDir), è possibile specificare questa variabile direttamente eseguendo nuovamente SDV dalla riga di comando e accodandola alla riga di comando aggiungendo /p:SolutionDir=[il dir della soluzione] alla fine del comando MSBuild. Consulta comandi di verifica del driver statico (MSBuild).
• InterceptedBuild: SDV non è riuscito a compilare il driver per l'analisi.
• Analisi: SDV non è riuscito a trovare i punti di ingresso del driver. Un errore potrebbe indicare che non sono stati trovati punti di ingresso e che è necessario aggiornare i tipi di ruolo della funzione o sdv-map.h. Per altre informazioni, vedere Uso delle dichiarazioni del tipo di ruolo della funzione e approvazione del file Sdv-map.h .
• FinalCompile: SDV non è riuscito a compilare il driver con la regola e il modello del sistema operativo.
• CheckRule: SDV non è riuscito a verificare correttamente la regola.

Potresti essere in grado di ottenere maggiori dettagli sull'errore abilitando la diagnostica per SDV. Per informazioni dettagliate, vedere Static Driver Verifier Diagnostics (Diagnostica del driver statico ).