Bump com.uber.nullaway:nullaway from 0.12.10 to 0.12.13

[dependabot]

Bumps com.uber.nullaway:nullaway from 0.12.10 to 0.12.13.

Release notes

Sourced from com.uber.nullaway:nullaway's releases.

NullAway 0.12.13

NullAway now includes a new Error Prone checker, RequireExplicitNullMarking, that checks that every class is explicitly @NullMarked or @NullUnmarked (at the class or package level), so code is not left @NullUnmarked unintentionally. The check is disabled by default. See the docs for further details.

NullAway also includes support for a new @PureExceptLambda annotation, contributed by @​FxMorin, to tell NullAway to preserve nullability information from the enclosing method when analyzing the body of certain lambdas. See the docs for details.

• Use passed-in TreePath in one more place when available (#1329)
• Checker to ensure explicit null marking of every class (#1323)
• Bound size of alreadyRunAnalyses cache to be consistent (#1334)
• Improve inference for generic methods with lambda argument containing return statements by @​dhruv-agr (#1337)
• Add PureExceptLambda annotation by @​FxMorin (#1325)
• Support marking method type variable upper bounds as @Nullable in library models (#1345)
• Method name parsing in ExternalStubxLibraryModels class is missing a corner case by @​haewiful (#1344)
• Better fix for dataflow analysis caching (#1353)
• Maintenance
  • Add package-info files with @​NullMarked (#1331)
  • Speed up buildWithNullAway task (#1330)
  • Enable the VoidMissingNullable checker and autofix all extant warnings (#1332)
  • Bump JDK version to 25 for integration tests (#1336)
  • Switch Coderabbit to assertive mode (#1338)
  • Enable EqualsMissingNullable check and fix all extant warnings (#1339)
  • Bump to AutoValue 1.11.1 (#1340)
  • Update Caffeine benchmark (#1342)
  • Add a test for a useless @​Contract (#1346)
  • Test case for wildcards in Generic Method with Lambda Arguments by @​dhruv-agr (#1349)
  • Add initial AGENTS.md file (#1352)

NullAway 0.12.12

This release fixes a severe performance regression introduced in NullAway 0.12.11 and we encourage all users of 0.12.11 to upgrade.

• Address severe performance regression in dataflow analysis (#1328)
• Maintenance
  • Fix test args for SuggestedFixesTests (#1324)
  • Stop passing -processorpath to CompilationTestHelper in NullAway tests (#1326)

NullAway 0.12.11

Version 0.12.11

In this release, NullAway checks the requirement that JSpecify mode is only run on a compatible javac version / configuration, and fails if it detects an incompatibility. See https://github.com/uber/NullAway/wiki/JSpecify-Support#supported-jdk-versions for details.

• Use inference for generic call passed as receiver to instance method (#1293)
• Accept any annotation with simple name Contract, and change reporting of invalid contract annotations (#1295)
• Properly model AtomicReference.get() in JSpecify mode (#1298)
• Improve handling and error messages when using this inside an anonymous class (#1305)
• Generate astubx from JSON output of jdk-javac-plugin by @​haewiful (#1243)
• Improve inference for generic method with void-returning lambda argument by @​dhruv-agr (#1312)

... (truncated)

Changelog

Sourced from com.uber.nullaway:nullaway's changelog.

Version 0.12.13

NullAway now includes a new Error Prone checker, RequireExplicitNullMarking, that checks that every class is explicitly @NullMarked or @NullUnmarked (at the class or package level), so code is not left @NullUnmarked unintentionally. The check is disabled by default. See the docs for further details.

NullAway also includes support for a new @PureExceptLambda annotation, contributed by @​FxMorin, to tell NullAway to preserve nullability information from the enclosing method when analyzing the body of certain lambdas. See the docs for details.

• Use passed-in TreePath in one more place when available (#1329)
• Checker to ensure explicit null marking of every class (#1323)
• Bound size of alreadyRunAnalyses cache to be consistent (#1334)
• Improve inference for generic methods with lambda argument containing return statements by @​dhruv-agr (#1337)
• Add PureExceptLambda annotation by @​FxMorin (#1325)
• Support marking method type variable upper bounds as @Nullable in library models (#1345)
• Method name parsing in ExternalStubxLibraryModels class is missing a corner case by @​haewiful (#1344)
• Better fix for dataflow analysis caching (#1353)
• Maintenance
  • Add package-info files with @​NullMarked (#1331)
  • Speed up buildWithNullAway task (#1330)
  • Enable the VoidMissingNullable checker and autofix all extant warnings (#1332)
  • Bump JDK version to 25 for integration tests (#1336)
  • Switch Coderabbit to assertive mode (#1338)
  • Enable EqualsMissingNullable check and fix all extant warnings (#1339)
  • Bump to AutoValue 1.11.1 (#1340)
  • Update Caffeine benchmark (#1342)
  • Add a test for a useless @​Contract (#1346)
  • Test case for wildcards in Generic Method with Lambda Arguments by @​dhruv-agr (#1349)
  • Add initial AGENTS.md file (#1352)

Version 0.12.12

This release fixes a severe performance regression introduced in NullAway 0.12.11 and we encourage all users of 0.12.11 to upgrade.

• Address severe performance regression in dataflow analysis (#1328)
• Maintenance
  • Fix test args for SuggestedFixesTests (#1324)
  • Stop passing -processorpath to CompilationTestHelper in NullAway tests (#1326)

Version 0.12.11

In this release, NullAway checks the requirement that JSpecify mode is only run on a compatible javac version / configuration, and fails if it detects an incompatibility. See https://github.com/uber/NullAway/wiki/JSpecify-Support#supported-jdk-versions for details.

... (truncated)

Commits

• b2245bf Prepare for release 0.12.13.
• fed9143 Release notes for 0.12.13 (#1355)
• 7cd8b1b Better fix for dataflow analysis caching (#1353)
• 119448e Add initial AGENTS.md file (#1352)
• 88df9d1 Test case for wildcards in Generic Method with Lambda Arguments (#1349)
• 585b40e Method name parsing in ExternalStubxLibraryModels class is missing a corner...
• feec9d9 Support marking method type variable upper bounds as @Nullable in library m...
• fdec09a Add a test for a useless @​Contract (#1346)
• 39d65f8 Add PureExceptLambda annotation (#1325)
• 82784a2 Update Caffeine benchmark (#1342)
• Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

---

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)