Inference and Checking of Object Ownership ReIm & ReImInfer: Checking and Inference of Reference Immutability and Method Purity Wei Huang1, Ana Milanova1, Werner Dietl2,…