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 dalle librerie non di sistema. Per informazioni e istruzioni, vedere Elaborazione della libreria in Controllo driver statico.
File elenco regole. Vedere Comandi di verifica driver statici (MSBuild).
File opzioni di verifica driver statico. SDV crea un file di opzioni globale che contiene le impostazioni che si applicano a tutte le verifiche SDV. Per creare un file di opzioni locali per un driver, copiare il file di opzioni globali. È quindi possibile modificare la copia del file di opzioni globali per creare un file di opzioni locali per il driver.
Quando si valutano i risultati di una verifica SDV, è molto importante esaminare i file di input per confermare l'accuratezza e la completezza di tutti i file di input usati nella verifica.
Questa sezione include descrizioni dettagliate dei file seguenti: