CiFi-Benchmark This is the benchmark of the paper "CiFi: Versatile Analysis of Class and Field Immutability" published at ASE 2021.