Procesamiento de biblioteca en comprobador de controladores estáticos

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 código de biblioteca, es posible que parezca que un controlador ha perdido una llamada necesaria que se incluye en la biblioteca. O bien, la biblioteca puede incluir una llamada que duplica el controlador, 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 código fuente 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 el controlador, debe agregar manualmente las bibliotecas a las referencias de controladores a la memoria caché de bibliotecas de SDV haciendo clic en la pestaña Bibliotecas y seleccionando Agregar biblioteca para procesar las bibliotecas. Si se ejecuta en la línea de comandos, puede agregar una biblioteca ejecutando sdv con el comando /lib en 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

Volver a procesar una biblioteca

Comentarios

SDV incluye archivos de biblioteca procesados para bibliotecas del sistema. No es necesario dirigir a 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 la biblioteca, consulte Determinar si el comprobador de controladores estáticos admite el controlador o la biblioteca.