Archivos de salida del comprobador estático de controladores

SDV genera varios tipos diferentes de archivos de salida y resultados. En esta sección se describen los archivos y cómo usarlos.

Esta sección incluye:

Command-Line Output

Sdv-map.h

Al evaluar los resultados de una comprobación de SDV, debe examinar todos los resultados cuidadosamente e investigar los errores.