Skip to content

Aliasing between nested fields of UtHashMap #1230

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
CaelmBleidd opened this issue Oct 25, 2022 · 0 comments
Open

Aliasing between nested fields of UtHashMap #1230

CaelmBleidd opened this issue Oct 25, 2022 · 0 comments
Assignees
@CaelmBleidd
Labels
ctg-bug Issue is a bug

Comments

@CaelmBleidd
Copy link
Member

Description

There are several fields in UtHashMap with nested arrays, particularly values.storage, values.touched and keys.storage. We have already fixed aliasing between them in one object, but there is no limitation for them to be equal between different collections. Therefore, change in stores of one map may cause changes in another one, even if they do not connected at all.

To Reproduce

Seems like it is impossible to reproduce by hand.

Visual proofs

Not applicable.

Environment

There is no specific environment.

Additional context

There is no additional context.
@CaelmBleidd CaelmBleidd added the ctg-bug Issue is a bug label Oct 25, 2022
@CaelmBleidd CaelmBleidd self-assigned this Oct 25, 2022
@CaelmBleidd CaelmBleidd moved this to Todo in UTBot Java Oct 25, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@CaelmBleidd CaelmBleidd

Labels
ctg-bug Issue is a bug
Projects
UTBot Java
Status: Todo
Milestone
No milestone
Development

No branches or pull requests
1 participant
@CaelmBleidd