Using SoftBench Static Analyzer

Simplifying Query Results

()" input box) and execute a "Symbol: References ()" command with scoping, SoftBench Static Analyzer displays the following:

file.c (7), main: char *theta

file.c (9), main: theta = "Hello World%d\n";

file.c (10), main: printf(theta,2);

The "Scoping Used" value is "File & Line".

If you turn off scoping and perform the same query again, SoftBench Static Analyzer displays the following:

file.c (1), Global: int theta;

file.c (7), main: char *theta

file.c (9), main: theta = "Hello World%d\n";

file.c (10), main: printf(theta,2);

file.c (13), foo: foo(int theta);

file.c (16), foo: return(theta*2);

SoftBench Static Analyzer displays all occurrences of theta, in all scopes. The "Scoping Used" value is None.

270

Chapter 9