Archivos de entrada del comprobador de controladores estático

El motor de comprobación de SDV toma los siguientes archivos como entrada para una comprobación. Solo se requieren los archivos de origen del controlador y los archivos de modelo del sistema operativo para todas las comprobaciones.

• Archivo de proyecto de controlador y código fuente. Ejecute SDV en el directorio donde se encuentra el archivo del proyecto.

• Archivos de modelo del sistema operativo. SDV selecciona y ensambla los archivos del modelo de sistema operativo en función de las reglas que seleccione para la comprobación.

• Archivos de biblioteca procesados. Los archivos de biblioteca solo son necesarios cuando el controlador depende de bibliotecas que no son del sistema. Para obtener información e instrucciones, vea Procesamiento de bibliotecas en comprobador de controladores estáticos.

• Archivo de lista de reglas. Consulte Comandos del comprobador de controladores estáticos (MSBuild).

• Archivo de opciones del comprobador de controladores estáticos. SDV crea un archivo de opciones global que contiene la configuración que se aplica a todas las comprobaciones de SDV. Para crear un archivo de opciones locales para un controlador, copie el archivo de opciones globales. A continuación, puede editar la copia del archivo de opciones globales para crear un archivo de opciones local para el controlador.

Al evaluar los resultados de una comprobación de SDV, es muy importante examinar los archivos de entrada para confirmar la precisión e integridad de todos los archivos de entrada que se usaron en la comprobación.

En esta sección se incluyen descripciones detalladas de los siguientes archivos:

Archivo de lista de reglas del comprobador de controladores estáticos

Archivo de opciones del comprobador de controladores estáticos