Partilhar via

Limitações do verificador de driver estático

  • Artigo

Esta seção descreve as limitações gerais da ferramenta SDV, algumas limitações técnicas que impedem o SDV de interpretar corretamente o código do driver e as características dos drivers que o SDV pode verificar.

Esta seção inclui:

Determinar se o Verificador de Driver Estático dá suporte ao driver ou à biblioteca

Ferramenta Geral do Verificador de Driver Estático e Limitações Técnicas

Usando a função _analysis_assume para suprimir falsos defeitos

Usando __sdv_save_request e __sdv_retrieve_request para chamadas de procedimento adiado

Usando __sdv_save_adapter_context para rastrear campos de contexto do adaptador