Muokkaa

Jaa

Files in the Source Code Pane

  • Artikkeli

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.