Archivos en el panel código fuente

Los archivos aparecen en el panel Código fuente solo cuando el código que contienen está implicado en la causa o detección de la infracción de la regla. Como resultado, los distintos archivos aparecen en la ventana para diferentes infracciones de reglas por parte del mismo controlador.

Los siguientes tipos de archivos aparecen en el panel de código fuente:

Archivos de origen del controlador
Archivos de código fuente para el controlador y para las bibliotecas que usa, que están implicados en la infracción de la regla. Este grupo de archivos incluye archivos C y archivos de encabezado.

Archivo de origen de la regla (\* .slic)
Archivo de origen para las reglas del comprobador de controladores estáticos en la comprobación. Este código se escribe en el lenguaje de especificación para la comprobación de interfaz (SLIC), un lenguaje sencillo que se desarrolló para este propósito.

sdv-harness.c
El archivo de origen del modelo de sistema operativo SDV para las reglas de la comprobación.