Using SoftBench Static Analyzer

Making Textual Static Queries

Declarations

Lists all occurrences of an identifier that announce

 

properties about it.

Definition

Lists the single declaration of an identifier that causes

 

storage to be allocated.

Uses

Lists occurrences where the program uses, modifies,

 

initializes, or calls an identifier's value.

Modifications

Lists occurrences where the program modifies or

 

initializes an identifier's value.

Figure 9-2shows examples of the kinds of occurrences that are returned by the respective queries. Notice that several types of occurrences are actually subsets of other types. For example, "Symbol: Uses ()" includes modifications.

Figure 9-2

Relationships among Reference Queries
Determining Identifier Classification

To display the classification (such as variable or function) of an identifier:

1. Enter the identifier into the "Symbol ()" input box.

262

Chapter 9