Dateien im Bereich „Quellcode“

Dateien werden nur im Quellcodebereich angezeigt, wenn der enthaltene Code daran beteiligt ist, die Regelverletzung zu verursachen oder zu erkennen. Daher werden unterschiedliche Dateien im Fenster für unterschiedliche Regelverletzungen durch denselben Treiber angezeigt.

Die folgenden Dateitypen werden im Quellcodebereich angezeigt:

Treiberquelldateien
Quelldateien für den Treiber und für die von ihr verwendeten Bibliotheken, die an der Regelverletzung beteiligt sind. Diese Gruppe von Dateien enthält C-Dateien und Headerdateien.

Regelquelldatei (\* .slic)
Die Quelldatei für die Regeln für die Statische Treiberüberprüfung in der Überprüfung. Dieser Code wird in der Spezifikationssprache für die Schnittstellenüberprüfung (SLIC) geschrieben, einer einfachen Sprache, die zu diesem Zweck entwickelt wurde.

sdv-harness.c
Die Quelldatei für das SDV-Betriebssystemmodell für die Regeln in der Überprüfung.