Skip to content
This repository has been archived by the owner on Mar 10, 2024. It is now read-only.

Non final to final field assignment detection #72

Open
lmove opened this issue Jul 22, 2020 · 0 comments
Open

Non final to final field assignment detection #72

lmove opened this issue Jul 22, 2020 · 0 comments

Comments

@lmove
Copy link
Contributor

lmove commented Jul 22, 2020 •
edited
Loading

Class A has a non final field f. Client C accesses f and assigns a new value. Afterwards, f is declared as a final field. We should only report cases where a new value is assigned to f.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@lmove