Now showing items 1-2 of 2
CiFi: Versatile Analysis of Class and Field Immutability
Software Engineering 2022
This paper was accepted in 2021 at the 36th IEEE/ACM International Conference on Automated Software Engineering and proposes a model for immutability analysis. Reasoning about immutability is important for preventing bugs, e.g., in multi-threaded software. Static analysis to infer immutability properties has mostly focused ...