Upgrade NullAway 0.9.8 -> 0.10.25

[Picnic-Bot]

This PR contains the following updates:

Package	Type	Update	Change
NullAway		minor	0.9.8 -> 0.10.25
NullAway	compile	minor	0.9.8 -> 0.10.25

---

Release Notes

uber/NullAway (NullAway)

v0.10.25

Compare Source

• JSpecify: Handle @​nullable assignments to @​nonnull arrays (#​929)
• Handle JDK 21 case operands in type refinement (#​928)
• Track access paths of the form Foo.this.bar (#​937)
• Add test for boolean contract with extra message argument (#​945)
• Collectors.toMap handling for streams (#​938)
• Handle methods that fail unconditionally in ContractHandler (#​946)
• Build / CI tooling upgrades:
  • Update various dependencies (#​939)

v0.10.24

Compare Source

• Add library model for Files.isDirectory (#​913)
• JSpecify test case for generic methods (#​918)
• Check dereference of qualifier expression in method reference (#​920)
• JSpecify: skip checking when type is primitive (#​924)
• Fix another JSpecify raw type issue (#​925)
• Fix handling of references to methods of array types and type variables (#​926)
• Build / CI / Documentation upgrades/fixes:
  • Fix lombok config example more correctly on README (#​911)
  • Update to Gradle 8.6 (#​914)
  • Update to Error Prone 2.25.0 (#​916)
  • Add codecov token (#​921)

v0.10.23

Compare Source

• Update for missing a couple possibly unsafe xml parser (#​902)
• Add foojay-resolver-convention plugin (#​905)
• JSpecify: Reason about nullability of reads from arrays (#​875)
• Fix handling of static imports from subclasses (#​904)
• Adding support for nullable type upper bounds considering Library models (#​903)
• Support for extra Futures classes (#​909)
• Build / CI tooling upgrades:
  • Bump various CI workflow versions (#​906)

v0.10.22

Compare Source

IMPORTANT: The support for JDK 8 is deprecated in this release and will be removed in
an upcoming release.

• Fix bug with implicit equals() methods in interfaces (#​898)
• Fix crash with raw types in overrides in JSpecify mode (#​899)
• Docs fix: Update instructions for Android and our sample app (#​900)

v0.10.21

Compare Source

IMPORTANT: This release fixes a crash when running against <2.24.0 release of
Error Prone (see #​894) introduced in NullAway v0.10.20 and another crash related to
Checker Framework (see #​895) introduced in NullAway v0.10.19.

• Fix backwards-incompatible calls to ASTHelpers.hasDirectAnnotationWithSimpleName (#​894)
• Downgrade to Checker Framework 3.40.0 (#​895)

v0.10.20

Compare Source

• Fix JSpecify support on JDK 21 (#​869)
• Build / CI tooling upgrades for NullAway itself:
  • Update to WALA 1.6.3 (#​887)
  • Update to Error Prone 2.24.1 (#​888)

v0.10.19

Compare Source

• Update to Checker Framework 3.41.0 (#​873)
• Extend library models to mark fields as nullable (#​878)
  • Main use case is NullAwayAnnotator
• Fix jarinfer cli output determinism (#​884)
• Add support for AssertJ as() and describedAs() in AssertionHandler (#​885)
• Support for JSpecify's 0.3.0 annotation [experimental]
  • JSpecify: In generics code, get rid of checks for ClassType (#​863)
• Update some dependencies (#​883)

v0.10.18

Compare Source

• Fix assertion check for structure of enhanced-for loop over a Map keySet (#​868)

v0.10.17

Compare Source

• Fix bug with computing direct type use annotations on parameters (#​864)
• Model Apache Flink's RichFunction.open as an @​Initializer method (#​862)
• Support for JSpecify's 0.3.0 annotation [experimental]
  • JSpecify: adding com.google.common to annotated packages in build.gradle (#​857)
  • JSpecify: handling the return of a diamond operator anonymous object method caller (#​858)
  • Create com.uber.nullaway.generics package (#​855)
  • Clarifications and small fixes for checking JSpecify @​Nullable annotation (#​859)
  • Apply minor cleanups suggested by IntelliJ in generics code (#​860)

v0.10.16

Compare Source

NOTE: Maven Central signing key rotated for this release following a revocation.

• Minor cleanup in AccessPathElement (#​851)
• Support for JSpecify's 0.3.0 annotation [experimental]
  • JSpecify: handle return types of method references in Java Generics (#​847)
  • JSpecify: handle Nullability for lambda expression parameters for Generic Types (#​852)
  • JSpecify: Modify Array Type Use Annotation Syntax (#​850)
  • JSpecify: handle Nullability for return types of lambda expressions for Generic Types (#​854)
• Build / CI tooling for NullAway itself:
  • Update to Gradle 8.4 and Error Prone 2.23.0 (#​849)

v0.10.15

Compare Source

• [IMPORTANT] Update minimum Error Prone version and Guava version (#​843)
  NullAway now requires Error Prone 2.10.0 or later
• Add Spring mock/testing annotations to excluded field annotation list (#​757)
• Update to Checker Framework 3.39.0 (#​839) [Support for JDK 21 constructs]
• Support for JSpecify's 0.3.0 annotation [experimental]
  • Properly check generic method overriding in explicitly-typed anonymous classes (#​808)
  • JSpecify: handle incorrect method parameter nullability for method reference (#​845)
  • JSpecify: initial handling of generic enclosing types for inner classes (#​837)
• Build / CI tooling for NullAway itself:
  • Update Gradle and a couple of plugin versions (#​832)
  • Run recent JDK tests on JDK 21 (#​834)
  • Fix which JDKs are installed on CI (#​835)
  • Update to Error Prone 2.22.0 (#​833)
  • Ignore code coverage for method executed non-deterministically in tests (#​838 and #​844)
  • Build NullAway with JSpecify mode enabled (#​841)

v0.10.14

Compare Source

IMPORTANT: This version introduces EXPERIMENTAL JDK21 support.

• Bump Checker Framework dependency to 3.38.0 (#​819)
  • Note: Not just an internal implementation change. Needed to support JDK 21!
• Treat parameter of generated Record.equals() methods as @​Nullable (#​825)
• Build / CI tooling for NullAway itself:
  • Fixes Codecov Report Expired error (#​821)
  • Updated Readme.md with Codecov link (#​823)
  • Remove ASM-related hack in build config (#​824)
  • Run tests on JDK 21 (#​826)

v0.10.13

Compare Source

• Allow library models to define custom stream classes (#​807)
• Avoid suggesting castToNonNull fixes in certain cases (#​799)
• Ensure castToNonNull insertion/removal suggested fixes do not remove comments (#​815)
• Support for JSpecify's 0.3.0 annotation [experimental]
  • Generics checks for method overriding (#​755)
  • Make GenericsChecks methods static (#​805)
  • Add visitors for handling different types in generic type invariance check (#​806)
• Build / CI tooling for NullAway itself:
  • Bump versions for some dependencies (#​800)
  • Update to WALA 1.6.2 (#​798)
  • Update to Error Prone 2.21.1 (#​797)
  • Enable contract checking when building NullAway (#​802)
  • Bump Error Prone Gradle Plugin version (#​804)
  • Modify JMH Benchmark Workflow For Shellcheck (#​813)
  • Bump gradle maven publish plugin from 0.21.0 to 0.25.3 (#​810)
  • Use Spotless to enforce consistent formatting for Gradle build scripts (#​809)
  • Remove unnecessary compile dependence for jar-infer-cli (#​816)
  • Added Codecov to CI Pipeline (#​820)

v0.10.12

Compare Source

Note: This is the first release built with Java 11. In particular, running
JarInfer now requires a JDK 11 JVM. NullAway is still capable of analyzing JDK 8
source/target projects, and should be compatible with the Error Prone JDK 9 javac
just as the release before, but a JDK 11 javac is recommended.

• Update to WALA 1.6.1 and remove ability to build on JDK 8 (#​777)
• Fix compatibility issue when building on JDK 17 but running on JDK 8 (#​779)
• Fix JDK compatibility issue in LombokHandler (#​795)
• Improve auto-fixing of unnecessary castToNonNull calls (#​796)
• Support for JSpecify's 0.3.0 annotation [experimental]
  • JSpecify: avoid crashes when encountering raw types (#​792)
  • Fix off-by-one error in JSpecify checking of parameter passing (#​793)
• Build / CI tooling for NullAway itself:
  • Fix Publish Snapshot CI job (#​774)
  • Add step to create release on GitHub (#​775)
  • Build the Android sample app on JDK 17 (#​776)
  • Update to Error Prone 2.20.0 (#​772)
  • Add tasks to run JDK 8 tests on JDK 11+ (#​778)
  • Switch to Spotless for formatting Java code (#​780)
  • Added GCP JMH Benchmark Workflow (#​770)
  • Set concurrency for JMH benchmarking workflow (#​784)
  • Disable daemon when running benchmarks (#​786)
  • Update to Gradle 8.2.1 (#​781)

v0.10.11

Compare Source

• NULL_LITERAL expressions may always be null (#​749)
• Fix error in Lombok generated code for @​Nullable @​Builder.Default (#​765)
• Support for specific libraries/APIs:
  • Added support for Apache Validate (#​769)
  • Introduce FluentFutureHandler as a workaround for Guava FluentFuture (#​771)
• Internal code refactorings:
  • [Refactor] Pass resolved Symbols into Handler methods (#​729)
  • Prepare for Nullable ASTHelpers.getSymbol (#​733)
  • Refactor: streamline mayBeNullExpr flow (#​753)
  • Refactor LibraryModelsHandler.onOverrideMayBeNullExpr (#​754)
  • Refactor simple onOverrideMayBeNullExpr handlers (#​747)
• Support for JSpecify's 0.3.0 annotation [experimental]
  • JSpecify generics checks for conditional expressions (#​739)
  • Generics checks for parameter passing (#​746)
  • Clearer printing of types in errors related to generics (#​758)
• NullAwayInfer/Annotator data serialization support [experimental]
  • Update path serialization for class files (#​752)
• Build / CI tooling for NullAway itself:
  • Update to Gradle 8.0.2 (#​743)
  • Fix CI on Windows (#​759)
  • Upgrade to Error Prone 2.19.1 (#​763)
  • Upgrade maven publish plugin to 0.21.0 (#​773)

v0.10.10

Compare Source

• Add command line option to skip specific library models. (#​741)
• Support for specific libraries/APIs:
  • Model Map.getOrDefault (#​724)
  • Model Class.cast (#​731)
  • Model Class.isInstance (#​732)
• Internal code refactorings:
  • Refactor code to use Map.getOrDefault where possible (#​727)
  • Break loops when result can no longer change (#​728)
• Support for JSpecify's 0.3.0 annotation [experimental]
  • JSpecify: initial checks for generic type compatibility at assignments (#​715)
  • Add JSpecify checking for return statements (#​734)
• NullAwayInfer/Annotator data serialization support [experimental]
  • Refactoring in symbol serialization (#​736)
  • Refactoring tabSeparatedToString logic to prepare for serialization version 3 (#​738)
  • Update method serialization to exclude type use annotations and type arguments (#​735)
• Docs fix: -XepExcludedPaths was added in 2.1.3, not 2.13 (#​744)

v0.10.9

Compare Source

• Add support for external init annotations in constructors (#​725)
• Ignore incompatibly annotated var args from Kotlin code. (#​721)
• Support for specific libraries/APIs:
  • Add Throwable.getCause and getLocalizedMessage() library models (#​717)
  • Support more test assertions in OptionalEmptinessHandler (#​718)
  • Support isInstanceOf(...) as implying non-null in assertion libraries (#​726)
• [Refactor] Avoid redundant Map lookups (#​722)
• Build / CI tooling for NullAway itself:
  • Update to Error Prone 2.18.0 (#​707)

v0.10.8

Compare Source

• Don't do checks for type casts and parameterized trees in unannotated code (#​712)
• Add an initial nullaway:nullaway-annotations artifact. (#​709)
  • Contains only an implementation of @Initializer for now.
• NullAwayInfer/Annotator data serialization support [experimental]
  • Update region selection for initialization errors. (#​713)
  • Update path serialization for reported errors and fixes. (#​714)
• Build / CI tooling for NullAway itself:
  • Turn up various Error Prone checks (#​710)

v0.10.7

Compare Source

(Bug fix release)

• Resolve regression for type annotations directly on inner types. (#​706)

v0.10.6

Compare Source

• Handle BITWISE_COMPLEMENT operator (#​696)
• Add support for AssertJ (#​698)
• Fix logic for @​Nullable annotation on type parameter (#​702)
• Preserve nullness checks in final fields when propagating nullness into inner contexts (#​703)
• NullAwayInfer/Annotator data serialization support [experimental]
  • Add source offset and path to reported errors in error serialization. (#​704)
• Build / CI tooling for NullAway itself:
  • [Jspecify] Update test dep to final JSpecify 0.3.0 release (#​700)
    = Intermediate PRs: 0.3.0-alpha-3 (#​692), 0.3-alpha2 (#​691)
  • Update to Gradle 7.6 (#​690)

v0.10.5

Compare Source

• Report more unboxing errors in a single compilation (#​686)
• Remove AccessPath.getAccessPathForNodeNoMapGet (#​687)
• NullAwayInfer/Annotator data serialization support [experimental]
  • Fix Serialization: Split field initialization region into smaller regions (#​658)
  • Add serialization format version to fix serialization output (#​688)
  • Fix serialization field region computation bug fix (#​689)
• EXPERIMENTAL support for JSpecify's 0.3.0 annotations
  • [Jspecify] Update tests to JSpecify 0.3.0-alpha-1 (#​673)
  • [Jspecify] Add checks for proper JSpecify generic type instantiations (#​680)
  • (Note: Annotation support for generics is not complete/useful just yet)

v0.10.4

Compare Source

(Bug fix release)

• Fix LibraryModels recording of dataflow nullness for Map APs (#​685)
• Proper checking of unboxing in binary trees (#​684)
• Build / CI tooling for NullAway itself:
  • Bump dependency versions in GitHub Actions config (#​683)

v0.10.3

Compare Source

• Report an error when casting @​Nullable expression to primitive type (#​663)
• Fix an NPE in the optional emptiness handler (#​678)
• Add support for boolean constraints (about nullness) in Contract annotations (#​669)
• Support for specific libraries/APIs:
  • PreconditionsHandler reflects Guava Preconditions exception types (#​668)
  • Handle Guava Verify functions (#​682)
• Dependency Updates:
  • checkerframework 3.26.0 (#​671)
• Build / CI tooling for NullAway itself:
  • Build and test against Error Prone 2.15.0 (#​665)
  • Bump Error Prone and EP plugin to 2.16 (#​675)

v0.10.2

Compare Source

• Make AbstractConfig collection fields explicity Immutable (#​601)
• NullAwayInfer/Annotator data serialization support [experimental]
  • Fix crash in fixserialization when ClassSymbol.sourcefile is null (#​656)

v0.10.1

Compare Source

• [IMPORTANT] Update minimum Error Prone version and Guava version (#​843)
  NullAway now requires Error Prone 2.10.0 or later
• Add Spring mock/testing annotations to excluded field annotation list (#​757)
• Update to Checker Framework 3.39.0 (#​839) [Support for JDK 21 constructs]
• Support for JSpecify's 0.3.0 annotation [experimental]
  • Properly check generic method overriding in explicitly-typed anonymous classes (#​808)
  • JSpecify: handle incorrect method parameter nullability for method reference (#​845)
  • JSpecify: initial handling of generic enclosing types for inner classes (#​837)
• Build / CI tooling for NullAway itself:
  • Update Gradle and a couple of plugin versions (#​832)
  • Run recent JDK tests on JDK 21 (#​834)
  • Fix which JDKs are installed on CI (#​835)
  • Update to Error Prone 2.22.0 (#​833)
  • Ignore code coverage for method executed non-deterministically in tests (#​838 and #​844)
  • Build NullAway with JSpecify mode enabled (#​841)

v0.10.0

Compare Source

• Switch parameter overriding handler to use Nullness[] (#​648) [performance opt!]
• EXPERIMENTAL support for JSpecify's 0.3.0 @​NullMarked and @​NullUnmarked semantics
  • [JSpecify] Support @​NullMarked on methods. (#​644)
  • [JSpecify] Support @​NullUnmarked. (#​651)
  • Allow AcknowledgeRestrictiveAnnotations to work on fields (#​652)
• Dependency Updates:
  • Update to WALA 1.5.8 (#​650)
• Build / CI tooling for NullAway itself:
  • Update to Gradle 7.5.1 (#​647)
  • Add Gradle versions plugin and update some "safe" dependencies (#​649)

v0.9.10

Compare Source

• Improved support for library models on annotated code:
  • Make library models override annotations by default. (#​636)
  • Generalize handler APIs for argument nullability on (un-)annotated code (#​639)
    • [Follow-up] Optimizations for parameter nullness handler / overriding (#​646)
  • Generalize handler APIs for return nullability on (un-)annotated code (#​641)
• Support for specific libraries/APIs:
  • Add library model for Guava's Closer.register (#​632)
  • Support for Map.computeIfAbsent(...) (#​640)
• NullAwayInfer/Annotator data serialization support [experimental]
  • Augment error serializarion info (#​643)
• Dependency Updates:
  • Update to Checker Framework 3.24.0 (#​631)
• Fix javadoc and CONTRIBUTING.md typos (#​642)

v0.9.9

Compare Source

• Fix handling of empty contract arguments (#​616)
• Fix inconsistent treament of generated code in RestrictiveAnnotationHandler (#​618)
• Allow Library Models to override annotations. (#​624)
• Allow tracking field accesses outside the this instance and static fields (#​625)
• Add Guava 31+ support by treating @​ParametricNullness as @​nullable (#​629)
• Refactoring:
  • Clean up: Remove method parameter protection analysis (#​622)
  • Clean up: Remove nullable annotation configuration in fix serialization. (#​621)
• Build / CI tooling for NullAway itself:
  • Add a microbenchmark for type inference / dataflow (#​617)

---

• If you want to rebase/retry this PR, check this box

[Picnic-Bot]

Suggested commit message:

Upgrade NullAway 0.9.8 -> 0.10.25

See:
- https://github.com/uber/NullAway/blob/master/CHANGELOG.md
- https://github.com/uber/NullAway/releases/tag/v0.10.12
- https://github.com/uber/NullAway/releases/tag/v0.10.13
- https://github.com/uber/NullAway/releases/tag/v0.10.14
- https://github.com/uber/NullAway/releases/tag/v0.10.15
- https://github.com/uber/NullAway/releases/tag/v0.10.16
- https://github.com/uber/NullAway/releases/tag/v0.10.17
- https://github.com/uber/NullAway/releases/tag/v0.10.18
- https://github.com/uber/NullAway/releases/tag/v0.10.19
- https://github.com/uber/NullAway/releases/tag/v0.10.20
- https://github.com/uber/NullAway/releases/tag/v0.10.21
- https://github.com/uber/NullAway/releases/tag/v0.10.22
- https://github.com/uber/NullAway/releases/tag/v0.10.23
- https://github.com/uber/NullAway/releases/tag/v0.10.24
- https://github.com/uber/NullAway/releases/tag/v0.10.25
- https://github.com/uber/NullAway/compare/v0.10.11...v0.10.25

[sonarcloud]

Kudos, SonarCloud Quality Gate passed!   

0 Bugs
0 Vulnerabilities
0 Security Hotspots
0 Code Smells

No Coverage information
0.0% Duplication

[Picnic-Bot]

Edited/Blocked Notification

Renovate will not automatically rebase this PR, because it does not recognize the last commit author and assumes somebody else may have edited the PR.

You can manually request rebase by checking the rebase/retry box above.

⚠ Warning: custom changes will be lost.