File nel riquadro Codice sorgente

I file vengono visualizzati nel riquadro Codice sorgente solo quando il codice che contengono è coinvolto nel causare o rilevare la violazione della regola. Di conseguenza, nella finestra vengono visualizzati file diversi per violazioni di regole diverse dallo stesso driver.

Nel riquadro del codice sorgente vengono visualizzati i tipi di file seguenti:

File di origine driver
File di origine per il driver e per le librerie usate, coinvolte nella violazione della regola. Questo gruppo include file C e file di intestazione.

File di origine delle regole (\* .slic)
Il file di origine per le regole di verifica del driver statico. Questo codice è scritto in Specification Language for Interface Checking (SLIC), un linguaggio semplice sviluppato a questo scopo.

sdv-harness.c
Il file di origine per il modello di sistema operativo SDV per le regole nella verifica.