The Community for Technology Leaders
Green Image
<p><b>Abstract</b>—Interprocedural data flow information is useful for many software testing and analysis techniques, including data flow testing, regression testing, program slicing, and impact analysis. For programs with aliases, these testing and analysis techniques can yield invalid results, unless the data flow information accounts for aliasing effects. Recent research provides algorithms for performing interprocedural data flow analysis in the presence of aliases; however, these algorithms are expensive, and achieve precise results only on complete programs. This paper presents an algorithm for performing alias analysis on incomplete programs that lets individual software components such as library routines, subroutines, or subsystems be independently analyzed. The paper also presents an algorithm for reusing the results of this separate analysis when the individual software components are linked with calling modules. Our algorithms let us analyze frequently used software components, such as library routines or classes, independently, and reuse the results of that analysis when analyzing calling programs, without incurring the expense of completely reanalyzing each calling program. Our algorithms also provide a way to analyze large systems incrementally.</p>
Aliasing, data flow analysis, pointers, reuse, separate analysis, static analysis.

M. J. Harrold and G. Rothermel, "Separate Computation of Alias Information for Reuse," in IEEE Transactions on Software Engineering, vol. 22, no. , pp. 442-460, 1996.
81 ms
(Ver 3.3 (11022016))