Sciweavers

KBSE
2007
IEEE

Combined static and dynamic mutability analysis

13 years 10 months ago
Combined static and dynamic mutability analysis
Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks. We present an approach to discovering parameter reference immutability, in which several lightweight, scalable analyses are combined in stages, with each stage refining the overall result. The resulting analysis is scalable and combines the strengths of its component analyses. As one of the component analyses, we present a novel, dynamic mutability analysis and show how its results can be improved by random input generation. Experimental results on programs of up to 185 kLOC show that, compared to previous approaches, our approach increases both scalability and overall accuracy. Categories and Subject Descriptors: D.2.3 [Software Engineering]: Coding Tools and Techniques—Object-oriented programming; General Terms: Algorithms, Design, Documentation, Experimentation, Languages
Shay Artzi, Adam Kiezun, David Glasser, Michael D.
Added 04 Jun 2010
Updated 04 Jun 2010
Type Conference
Year 2007
Where KBSE
Authors Shay Artzi, Adam Kiezun, David Glasser, Michael D. Ernst
Comments (0)