Immutability Toolbox

A toolbox for object immutability and side effect analysis.

Overview

This toolbox applies a type checking technique proposed in the following resources to implement an Atlas native implementation of a context-sensitive reference immutability and method purity/side-effect analysis.

• ReIm & ReImInfer: Checking and Inference of Reference Immutability and Method Purity
• ReImInfer: Method Purity Inference for Java
• Dataflow and Type-based Formulations for Reference Immutability
• https://github.com/proganalysis/type-inference