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 para el controlador y para las bibliotecas que usa, 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 de origen de las reglas del comprobador de controladores estáticos en la comprobació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.