Archivos del 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 diferentes archivos aparecen en la ventana para diferentes infracciones de reglas por el mismo controlador.

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

Archivos de origen del controlador
Archivos de origen del controlador y de las bibliotecas que este utiliza, que están implicadas en la infracción de la regla. Este grupo de archivos incluye archivos C y archivos de encabezado.

Archivo de origen de regla (\* .slic)
El archivo fuente de las reglas del comprobador de controladores estáticos en la verificación. Este código está escrito en El lenguaje de especificación para 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.