Skip to content

Latest commit

 

History

History
41 lines (24 loc) · 1.59 KB

color-coding-in-the-source-code-pane.md

File metadata and controls

41 lines (24 loc) · 1.59 KB
Raw
title description keywords ms.date
Color Coding in the Source Code Pane
Color Coding in the Source Code Pane
color coding WDK Static Driver Verifier
Static Driver Verifier Report WDK , Source Code pane
Source Code pane WDK Static Driver Verifier
04/20/2017

Color Coding in the Source Code Pane

SDV uses color coding to help you recognize the code source quickly.

  • The background color helps you determine the type of file you are viewing.

  • The text color provide information about the code in the file.

  • A blue highlight indicates the line of source code that is associated with the element that is selected in the Trace Tree pane. It appears only when an element is selected in the Trace Tree pane.

Background Colors

The Source Code Pane includes two background colors, yellow and white.

  • Yellow: Indicates source code from the driver, such as C files, header files, and library files.

  • White: Indicates source code from SDV. This includes rule files (.slic) and the operating system model file, Sdv-harness.c.

Text Colors

The following text colors are used in the Source Code pane:

  • Green: Comments.

  • Red: Code that is executed in the path to the rule violation.

  • Black: Code that is not executed in the path to the rule violation.

  • Blue: (Rule source file (*.slic) only.) Indicates code that is not executed in the path to the rule violation.