This is the artifact for the paper: "CiFi: Versatile Analysis of Class and Field Immutability" published at ASE21.
Primary LanguageJavaOtherNOASSERTION