Limitaciones del comprobador de controladores estáticos
En esta sección se describen las limitaciones generales de la herramienta SDV, algunas limitaciones técnicas que impiden que SDV interprete correctamente el código de controlador y las características de los controladores que SDV puede comprobar.
Esta sección incluye:
Determinar si el comprobador de controladores estáticos admite el controlador o la biblioteca
Herramienta general del comprobador de controladores estáticos y limitaciones técnicas
Uso de la función _analysis_assume para suprimir defectos falsos
Uso de __sdv_save_request y __sdv_retrieve_request para llamadas a procedimiento diferido