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

JSpecify: Reason about nullability of reads from arrays #875

Merged

msridhar merged 13 commits into uber:master from armughan11:jspecify-array-contents-nullability

Feb 6, 2024

+74 −6

Merged

JSpecify: Reason about nullability of reads from arrays #875

Merge branch 'master' into jspecify-array-contents-nullability

Codecov / codecov/patch failed Feb 6, 2024 in 1s

80.00% of diff hit (target 86.98%)

View this Pull Request on Codecov

80.00% of diff hit (target 86.98%)

Annotations

Check warning on line 2385 in nullaway/src/main/java/com/uber/nullaway/NullAway.java

codecov / codecov/patch

nullaway/src/main/java/com/uber/nullaway/NullAway.java#L2385

Added line #L2385 was not covered by tests

Check warning on line 815 in nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPathNullnessPropagation.java

codecov / codecov/patch

nullaway/src/main/java/com/uber/nullaway/dataflow/AccessPathNullnessPropagation.java#L815

Added line #L815 was not covered by tests

View more details on Codecov