Modular Immutability Analyses

The goal of this thesis is to develop a set of modular immutability analyses using our OPALstatic analysis framework.

Immutability covers a wide range of different programming language constructs, including fields and classes. These different kinds of immutability interact and depend on each other, making them a prime target for modularly collaborating analyses.

The thesis should provide unifying definitions of different kinds of immutability and develop corresponding modular analyses for Java bytecode.

Publications

• Tobias Roth: Immutability Analysis of Java Bytecode with Opal.