Fichiers du volet Code source

Les fichiers apparaissent dans le volet Code source uniquement lorsque le code qu’ils contiennent est impliqué dans l’origine ou la détection de la violation de règle. Par conséquent, différents fichiers apparaissent dans la fenêtre pour différentes violations de règle par le même pilote.

Les types de fichiers suivants s’affichent dans le volet de code source :

Fichiers sources du pilote
Fichiers sources pour le pilote et pour les bibliothèques qu’il utilise, qui sont impliqués dans la violation de règle. Ce groupe de fichiers inclut des fichiers C et des fichiers d’en-tête.

Fichier source de règle (\* .slic)
Fichier source des règles de vérificateur de pilote statique dans la vérification. Ce code est écrit en langage de spécification pour la vérification d’interface (SLIC), un langage simple qui a été développé à cet effet.

sdv-harness.c
Fichier source pour le modèle de système d’exploitation SDV pour les règles de la vérification.