loading...
Precise Identification of Side-Effect-Free Methods in Java
Chicago, Illinois September 11-September 14
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICSM.2004.135779320th IEEE International Conference on ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Atanas Rountev, Ohio State University
Knowing which methods do not have side effects is necessary in a variety of software tools for program understanding, restructuring, optimization, and verification. We present a general approach for identifying side-effect-free methods in Java software. Our technique is parameterized by class analysis and is designed to work on incomplete programs. We present empirical results from two instantiations of the approach, based on Rapid Type Analysis and on points-to analysis. In our experiments with several components, on average 22% of the investigated methods were identified as free of side effects. We also present a precision evaluation which shows that the approach achieves almost perfect precision — i.e., it almost never misses methods that in reality have no side effects. These results indicate that very precise identification of side-effect-free methods is possible with simple and inexpensive analysis techniques, and therefore can be easily incorporated in software tools.
Citation:
Atanas Rountev, "Precise Identification of Side-Effect-Free Methods in Java," icsm, pp.82-91, 20th IEEE International Conference on Software Maintenance (ICSM'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.