Modular Immutability Analyses
The goal of this thesis is to develop a set of modular immutability analyses using our static analysis framework. OPAL
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.
- Tobias Roth: Immutability Analysis of Java Bytecode with Opal.