Procesamiento de bibliotecas en el comprobador de controladores estático

Muchos controladores dependen de bibliotecas de funciones vinculadas dinámica y estáticamente. Normalmente, las bibliotecas incluyen funciones de procesamiento general, pero en algunas situaciones incluyen funcionalidad que es integral para el controlador.

Las bibliotecas son esenciales para determinar si el controlador cumple las reglas de interfaz. Por ejemplo, sin el código de la biblioteca, podría parecer que un controlador de hardware ha omitido una llamada necesaria que se incluye en la biblioteca. O bien, la biblioteca puede incluir una llamada que el controlador duplica, lo que provoca un error repetido, como liberar un bloqueo dos veces.

Para incluir una biblioteca en la comprobación de un controlador, SDV debe procesar primero la biblioteca para prepararla para su uso en la comprobación del controlador.

SDV intenta detectar y procesar automáticamente todas las bibliotecas en las que depende el controlador, pero porque no conoce la ubicación de algunos archivos de origen de biblioteca, no puede procesar automáticamente estas bibliotecas e incluirlas en la comprobación del controlador. Para asegurarse de que SDV proporciona el análisis más preciso para su controlador, debe agregar manualmente a la caché de bibliotecas de SDV las bibliotecas a las que hace referencia su controlador haciendo clic en la pestaña Bibliotecas y seleccionando Agregar biblioteca para procesarlas. Si estás ejecutando en la línea de comandos, puedes agregar una biblioteca ejecutando sdv con el comando /lib para el proyecto de biblioteca.

Una vez que SDV ha procesado una biblioteca, conserva sus archivos de procesamiento para esa biblioteca e incluye automáticamente el código de biblioteca en las comprobaciones de todos los controladores que requieren la biblioteca. No es necesario volver a procesar la biblioteca a menos que cambie el código de la biblioteca. Para obtener instrucciones sobre cómo volver a procesar una biblioteca, consulte Reprocesamiento de una biblioteca.

Esta sección incluye:

Procesamiento de una biblioteca

Reprocesar una biblioteca

comentarios de

SDV incluye archivos de biblioteca procesados para bibliotecas del sistema. No es necesario dirigir el SDV para procesar estas bibliotecas. Cuando SDV detecta que un controlador depende de estas bibliotecas, usa sus archivos procesados para estas bibliotecas sin mostrar un mensaje de advertencia. Para obtener información sobre los requisitos de biblioteca, consulte Determinar si el comprobador de controladores estáticos admite el controlador o la biblioteca.