Advanced Search
DSpace@MIT

Combined Static and Dynamic Mutability Analysis

Research and Teaching Output of the MIT Community

Show simple item record

dc.contributor.advisor Michael Ernst
dc.contributor.author Artzi, Shay
dc.contributor.author Kiezun, Adam
dc.contributor.author Glasser, David
dc.contributor.author Ernst, Michael D.
dc.contributor.other Program Analysis
dc.date.accessioned 2007-03-26T11:21:46Z
dc.date.available 2007-03-26T11:21:46Z
dc.date.issued 2007-03-23
dc.identifier.other MIT-CSAIL-TR-2007-020
dc.identifier.uri http://hdl.handle.net/1721.1/36880
dc.description.abstract 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 immutability, in which several lightweight, scalable analyses are combined in stages, with each stage rening 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.
dc.format.extent 17 p.
dc.relation.ispartofseries Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory
dc.title Combined Static and Dynamic Mutability Analysis


Files in this item

Name Size Format Description
MIT-CSAIL-TR-2007 ... 1.498Mb Postscript

Files in this item

Name Size Format Description
MIT-CSAIL-TR-2007 ... 316.0Kb PDF

This item appears in the following Collection(s)

Show simple item record

MIT-Mirage