3 was analyzed by a dataflow analyzer the following
messages would be produced.
??? Procedure parameter analysis (Figure 7.23) consists of information about the types of use for each
parameter of a procedure. Each procedure is analyzed in turn and the types of use of its parameters
are determined to detect whether the parameter is
??“ Referenced only: its value is used but never changed within the procedure.
??“ Defined only: it has a value assigned, but this value is never used.
??“ Both referenced and defined.
??“ Not used in the procedure.
The analysis is carried across procedure boundaries. Thus a variable, which is passed to one procedure
and within this procedure is passed as a parameter to another, will be correctly classified depending on
its use in both procedures.
7.8.7 Cross-Referencer
7.8.7.1 General
Cross-referencers refer to all data items used in a program, identifying the type of use of each data item
(global, local, or a parameter), and giving a textual representation of the complete call tree of the program
under analysis.
7.8.7.2 Output
The output provided by a cross-referencer includes:
??? A call tree of the program under analysis produced on a procedure-by-procedure basis in form
of a listing of all the procedures, calling and called
??? A cross-reference of all data items used in a program organized on a procedure-by-procedure
basis listed as follows:
The
field can be any one shown in Figure 7.
Pages:
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294