Выходные файлы средства проверки статических драйверов

SDV создает несколько различных типов выходных данных и файлов результатов. В этом разделе описываются файлы и способы их использования.

В этом разделе приведено следующее:

Command-Line Output

Sdv-map.h

При оценке результатов проверки SDV необходимо тщательно изучить все выходные данные и изучить все ошибки.