Skip to content
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

add handling of zero-length arrays to refinement-based pointer analysis #39

Open
msridhar opened this issue Nov 27, 2013 · 0 comments
Open

add handling of zero-length arrays to refinement-based pointer analysis #39

msridhar opened this issue Nov 27, 2013 · 0 comments
Assignees
@msridhar
Labels
enhancement

Comments

@msridhar
Copy link
Member

Our standard pointer analyses can now reason that arrays of length 0 have no contents, but the refinement-based pointer analysis does not. This is now causing test failures on recent versions of ArrayList in the Java 7 libraries, forcing us to disable some tests (see b057e35). We should enhance the refinement-based analysis to reason precisely about length 0 arrays.
@ghost ghost assigned msridhar Nov 27, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@msridhar msridhar

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@msridhar