Using SoftBench Static Analyzer

Simplifying Query Results

information is used for queries made on selected nodes or arcs. Queries resulting from the Display operation are not scoped. See Chapter 10, “Using Static Graphs,” on page 283 for information on Static Graphs.

Scoping Prerequisites and Constraints

In order to use scoping, you must select the entry in the "Symbol ()" input box from the Query Results Area, your configured SoftBench editor, or SoftBench Debugger. Entering an identifier from the keyboard precludes the use of scoping information, since SoftBench Static Analyzer has no location information available.

Troubleshooting Scoping Information

When you select an identifier from a file that has been modified, the location (scoping) information might be incorrect. When the "Symbol" menu queries are executed, SoftBench Static Analyzer automatically ignores first the column and line number and then the filename from the scoping information until it locates a matching identifier. The result may be a partially scoped or non-scoped query.

Scoping Example

Consider the following example:

1int theta;

4main ()

5{

6int x;

7char *theta;

9theta = "Hello World%d\n";

10printf(theta,2);

11}

13foo(int theta)

15{

16return(theta*2);

17}

If you select the theta identifier on line 9 (not typed into the "Symbol

Chapter 9

269