Research ArticleOpen accessEvery word in the titleAbstract Interpretation of Java Bytecode for Immutability AnalysisOliver HaaseEven though immutability is a desirable property, especially in a multi-threaded environment, implementing immutable Java classes is surprisingly hard because of a lack of language support. We present a static analysis tool using abstract bytecode interpretation that checks Java classes for compliance with a set of rules that together constitute state-based immutability. Being realized as a Find Bugs plug in, … …Journal of Computer Science, Vol. 12, Issue 7 · 23 Aug 2016 · 7,548 accessesView PDFCite