A toolbox for object immutability and side effect analysis.
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.