Edit

Share via


Files in the Source Code Pane

Files appear in the Source Code pane only when the code that they contain is involved in causing or detecting the rule violation. As a result, different files appear in the window for different rule violations by the same driver.

The following types of files appear in the source code pane:

Driver source files
Source files for the driver, and for the libraries that it uses, that are involved in the rule violation. This group of files includes C files and header files.

Rule source file (\* .slic )
The source file for the Static Driver Verifier rules in the verification. This code is written in Specification Language for Interface Checking (SLIC), a simple language that was developed for this purpose.

sdv-harness.c
The source file for the SDV operating system model for the rules in the verification.