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

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

Esta secção inclui:

Command-Line Output

Sdv-map.h

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