P. Tonella, G. Antoniol, R. Fiutem, and E. Merlo. Variable precision reaching definitions analysis. Journal of Software Maintenance: Research and Practice, 11(2):117--142, March--April 1999.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....passed by reference still introduce the aliasing problem. The techniques for handling parameters passed by reference and for dealing with aliasing are discussed in [8] Landi described the pointer aliasing problem in [11] and Tonella also presented an approach to interprocedural analysis in [21]. Another problem is how to understand class interactions and establish a set of change propagation rules. Several techniques or models for object oriented software maintenance were presented, like Change Assistant of [17] that uses cross reference information. Potential propagation rules ....

P.Tonella, G. Antoniol, R. Fiutem, E. Merlo, "Variable Precision reaching Definitions Analysis for Software maintenance", Proc. of the First Euromicro Conf. on Software Maintenance and Reengineering, Berlin, 1997, pp. 60-67.

....analysis on subsequent analyses, such as the computation of def use associations (e.g. 26] and program slicing (e.g. 5, 16, 23] However, none of that work considers definitions, uses, and def use associations in terms of the certainty with which those entities occur. Tonella and colleagues [27] analyze the effects of the precision of the reaching definition computation on def use associations. Other researchers (e.g. 8, 11] have investigated various ways to reduce the sizes of slices. However, they have not considered classifying data dependences and computing slices based on ....

P. Tonella, G. Antoniol, R. Fiutem, and E. Merlo. Variable precision reaching definitions analysis. Journal of Software Maintenance: Research and Practice, 11(2):117--142, March--April 1999.

....(e.g. 25] and program slicing (e.g. 5, 16, 22] None of that research, however, distinguishes def use associations based on the types of definitions, uses, and def use associations they view uniformly each def use association that arises in the presence of pointers. Tonella and colleagues [26] analyze the effects of the precision of the reaching definition computation on def use associations, but they do not consider how such precision affects the classification of def use associations. Other researchers (e.g. 8, 11] have investigated various ways to reduce the size of slices. ....

P. Tonella, G. Antoniol, R. Fiutem, and E. Merlo. Variable precision reaching definitions analysis. Journal of Software Maintenance: Research and Practice, 11(2):117--142, March--April 1999.

....[7, 13, 15, 16] However, when the objective is to analyze large industrial software systems, efficiency has to be considered. The importance of controlling the time complexity has been investigated in [3] where a solution based on a fine grained context sensitivity specification is proposed. In [20], we have presented a variable precision reaching definitions analysis with similar objectives of scalability and control. To make pointer analysis tractable for large software systems, a flow and context insensitive Points To Analysis (PTA) has been recently presented in [17, 18] for the C ....

....Recovery Tool (ART) which uses flow analysis results, and the PTAT. FLANT provides many flow sensitive interprocedural analyses among which reaching definitions, reachable uses, slicing and impact. It handles recursive function calls and allows variable precision for reaching definitions [20]. Its output is textual, graphical (when results can be represented as graphs) or interactively provided to the user through a customized version of the text editor emacs. ART [8] is a reverse engineering tool supporting the discovery of architectural information. It reports information about ....

[Article contains additional citation context not shown here]

P. Tonella, R. Fiutem, E. Merlo, G. Antoniol, "Variable Precision Reaching Definitions Analysis for Software Maintenance", IRST Technical Report 9602-01, 1996.

....consideration C specific language features such as pointers, function pointers and parameter induced aliasing. To achieve scalability to large industrial size systems, special attention was also devoted to the speed of convergence of the iterative fixpoint method by conceiving a flexible analyzer [44] that allows fine tuning of the trade off between execution time performance and flow information precision. 6 Conclusions Maintenance of large software systems may benefit from the support of reverse engineering tools able to extract architectural descriptions from existing software artifacts. ....

P. Tonella, G. Antoniol, R. Fiutem, and E. Merlo. Variable precision reaching definitions analysis for software maintenance. In Euromicro Working Conference on Software Maintenance and Reengineering, Berlin, Germany, March 1997.

No context found.

P. Tonella, G. Antoniol, R. Fiutem, and E. Merlo. Variable precision reaching definitions analysis. Journal of Software Maintenance: Research and Practice, 11(2):117--142, March--April 1999.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC