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 di file include file C e file di intestazione.

File di origine della regola (\* .slic )
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
File di origine per il modello del sistema operativo SDV per le regole nella verifica.