search

opalj / opal

https://www.opal-project.de
Other
51 stars 27 forks source link

Immutability analysis is unsound for constructors #135

Open errt opened 1 year ago

errt commented 1 year ago

The field immutability analysis currently ignores all assignments in constructors, but if the object escapes the constructor or a field is read inside the constructor before the assignment, a different field value can be observed.