Partilhar via


Arquivos de saída do verificador de driver estático

O SDV gera vários tipos diferentes de arquivos de saída e resultados. Esta seção descreve os arquivos e como usá-los.

Esta seção inclui:

Saída de linha de comando

Sdv-map.h

Ao avaliar os resultados de uma verificação SDV, você deve examinar toda a saída com cuidado e investigar quaisquer erros.