Файлы в области исходного кода

Файлы отображаются в области исходного кода только в том случае, если код, содержащийся в них, участвует в возникновении или обнаружении нарушения правила. В результате различные файлы отображаются в окне для разных нарушений правил одного драйвера.

В области исходного кода отображаются следующие типы файлов:

Исходные файлы драйверов
Исходные файлы драйвера и библиотек, которые он использует, которые участвуют в нарушении правила. Эта группа файлов включает файлы C и файлы заголовков.

Исходный файл правила (\* .slic)
Исходный файл для правил проверки статических драйверов в проверке. Этот код написан на языке спецификации для проверки интерфейса (SLIC), простой язык, разработанный для этой цели.

sdv-harness.c
Исходный файл модели операционной системы SDV для правил проверки.