File di input del driver statico

Il motore di verifica SDV accetta i file seguenti come input per una verifica. Per tutte le verifiche sono necessari solo i file di origine del driver e i file del modello del sistema operativo.

• File di progetto driver e codice sorgente. Eseguire SDV nella directory in cui si trova il file di progetto.

• File del modello del sistema operativo. SDV seleziona e assembla i file del modello del sistema operativo in base alle regole selezionate per la verifica.

• File di libreria elaborati. I file di libreria sono necessari solo quando il driver dipende da librerie non di sistema. Per informazioni e istruzioni, vedere Elaborazione delle librerie in Static Driver Verifier.

• File elenco regole. Consulta comandi di verifica del driver statico (MSBuild).

• File di opzioni del verificatore statico del driver. SDV crea un file di opzioni globale che contiene le impostazioni applicabili a tutte le verifiche SDV. Per creare un file di opzioni locale per un driver, copiare il file delle opzioni globali. È quindi possibile modificare la copia del file di opzioni globali per creare un file di opzioni locale per il driver.

Quando si valutano i risultati di una verifica SDV, è molto importante esaminare i file di input per verificare l'accuratezza e la completezza di tutti i file di input usati nella verifica.

Questa sezione include descrizioni dettagliate dei file seguenti:

File dell'elenco delle regole di verifica statica del driver

File di opzioni del Verificatore Statico del Driver