fix(deps): update dependency com.uber.nullaway:nullaway to v0.12.12

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
com.uber.nullaway:nullaway	0.10.16 -> 0.12.12

---

Release Notes

uber/NullAway (com.uber.nullaway:nullaway)

v0.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)

v0.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)
• Use refined types from dataflow analysis in generic method inference (#​1309)
• Fail if NullAway is run in JSpecify mode with an incompatible javac version / configuration (#​1317)
• Jdk javac plugin: don't serialize info for classes / methods without annotations by @​haewiful (#​1316)
• Maintenance
  • [Cleanup] Refactor away unnecessary Predicate by @​lazaroclapp (#​1297)
  • Update to Error Prone 2.42.0 (#​1299)
  • Update to Gradle 9.1.0 (#​1302)
  • Test on JDK 25 (#​1301)
  • Compile with JDK 25 (#​1303)
  • Add CodeRabbit config (#​1306)
  • Update Gradle command used for integration tests (#​1311)
  • Disable CodeRabbit review status comments (#​1313)
  • Gradle fixes for jar-infer-lib (#​1314)
  • Enable building NullAway on JDK 25 (#​1315)

v0.12.10

This release contains significant improvements to inference support for generic method calls in JSpecify mode (#​1075).
We expect that many more valid calls will pass NullAway, but that some new bugs may have been introduced. Please report
any issues that you see. There is also a new flag, -XepOpt:NullAway:WarnOnGenericInferenceFailure to make NullAway
report a warning when inference fails, to help identify any issues.

• Improved inference for generic method calls (#​1244)
• Suppress CastToNonNull warnings for @NullUnmarked method calls by @​raccoonback (#​1258)
• JSpecify: Fix crash when overriding with raw types (#​1265)
• Better handle calls to super constructors and superclass methods in JSpecify mode (#​1248)
• issue-1250 pattern matching for instanceof in switch case by @​dhruv-agr (#​1259)
• Account for annotations in extends / implements when computing view as supertype (#​1266)
• Bug fix with type substitutions after inference (#​1277)
• JSpecify: Improve error messages for type incompatibility at pseudo-assignments (#​1279)
• Support java.util.Objects.toString() by @​gulikoza (#​1283)
• Record when generic method inference fails (#​1280)
• issue 1275 - report unboxing warning for for-each loop by @​dhruv-agr (#​1281)
• Abstract iterating over invocation arguments (#​1284)
• Invoke generic method inference in more places (#​1286)
• Maintenance
  • Build Spring with snapshot build as a CI job (#​1251)
  • Add more instance fields to GenericsChecks (#​1256)
  • remove unneeded checkNotCall call (#​1257)
  • Fail build on JDK 21 versions before 21.0.8 (#​1261)
  • Clarify JDK version to use for best JSpecify support (#​1269)
  • Simplified set of CI jobs (#​1271)
  • Build: upgrade to Gradle 9 + AGP 8.7.2 (#​1270)
  • Compile with JDK 24 (#​1276)
  • Don't use deprecated buildDir by @​mernst (#​1278)

v0.12.9

• Add a case in our inference for generic method calls (#​1240)
• Add library model for Apache Commons CollectionUtils.isNotEmpty, Amazon CollectionUtils.IsNullOrEmpty, and a couple Amazon StringUtils methods (#​1242)
• Maintenance
  • Fix maven central link in RELEASING.md (#​1237)
  • Update to Error Prone 2.41.0 (#​1239)
  • Add tests for gh-1246 (#​1247)
  • Test reading JSpecify annotations from bytecodes on JDK 21 (#​1245)

v0.12.8

• Document interactions between Guava and JSpecify mode in README (#​1208)
• JSpecify: handle nullness annotations from extends / inherits clauses (#​1211)
• Allowing NewClassTree to be passed into getGenericParameterNullnessAtInvocation (#​1210)
• Support @​NullMarked on modules (#​1216)
• Handle NewClassTree in compareGenericTypeParameterNullabilityForCall(#​1212) (#​1217)
• More flexible handling of AssertJ isNotNull methods (#​1221)
• Support AssertJ hasSize() (#​1229)
• Inference of generic method type arguments based on returns and parameter passing (#​1226)
• Prototype implementation of javac plugin to serialize nullness annotations (#​1225)
• Add AdditionalSuppressionNames configuration option (#​1231)
• Updates to deploy releases to Central Portal (#​1234)
• Fix to handling of case null (#​1235)
• Maintenance
  • Update to Gradle 8.14 (#​1213)
  • Update to Error Prone 2.39.0 (#​1228)
  • Fix broken link to Eradicate in README.md (#​1227)

v0.12.7

• Update to Checker Framework 3.49.2 (#​1183)
• Don't check synchronized blocks within unannotated code (#​1185)
• Test on JDK 24 (#​1187)
• Fix multiple issues with NewClassTrees that have enclosing expressions (#​1191)
• Ensure classes null-marked by library model detected in all places (#​1197)
• JSpecify: handle varargs whose element type is a type variable (#​1200)
• Update to Error Prone 2.38.0 (#​1203)
• Optimization to annotation stripping in library model matching (#​1204)
• Make arg position nullness array contents nullable (#​1207)
• Properly handle method references to null-unmarked methods (#​1205)

v0.12.6

• JSpecify: view type as super in generic method inference (#​1177)
• Infer @​Nullable type arguments for type variables from unmarked code (#​1181)
• Convert android-jar.py to Python 3 (#​1175)
• Suggest castToNonNull fix for unboxing error (#​1182)

v0.12.5

• Add missing override to RestoreNullnessAnnotationsVisitor (#​1154)
• Add more bailouts for raw types (#​1153)
• Do unboxing check for invocation parameters even when calling a @​NullUnmarked method (#​1163)
• JSpecify: infer generic method type arguments for assignments (#​1131)
• JSpecify: properly handle lambdas in anonymous inner classes (#​1165)
• Support @​MonotonicNonNull on static fields (#​1166)
• Update to Error Prone 2.37.0 (#​1169)
• Use proper name for constructors in JarInfer (#​1167)
• Don't treat @​ParametricNullness as @​Nullable in JSpecify mode (#​1174)

v0.12.4

• Better @MonotonicNonNull support (#​1149)
• Add support for local variables for arrays. (#​1146)
• Ignore Spring Framework 6.2 @MockitoBean, @MockitoSpyBean fields (#​1147)
• JSpecify: preserve explicit nullability annotations on type variables when performing substitutions (#​1143)
• Always acknowledge restrictive annotations in JSpecify mode (#​1144)
• Fix printing of array types in JSpecify errors (#​1145)
• Remove need to use JSpecify's @​Nullable annotation (#​1142)
• Handle calls to generic constructors in JSpecify mode (#​1141)
• Properly handle conditional expression within parens as RHS of assignment (#​1140)
• Skip checks involving wildcard generic type arguments (#​1137)
• Update to Gradle 8.12.1 (#​1133)

v0.12.3

• Remove InferredJARModelsHandler (#​1079)
• Fix crash with annotation on enum (#​1097)
• Handle case null in switch statements (#​1100)
• Don't report errors for writes to @​NullUnmarked fields (#​1102)
• Support primitive static final fields as constant args in access paths (#​1105)
• Fix issue with annotations in module-info.java files (#​1109)
• Report error for @​nullable synchronized block expression (#​1106)
• Add support for parameter types with wildcards for JarInfer (#​1107)
• Properly handle nested generics and multiple wildcard type args in JarInfer (#​1114)
• Proper checking of vararg overrides with JSpecify annotations (#​1116)
• Add flag to indicate only @​NullMarked code should be checked (#​1117)
• Add support for static fields in contracts (#​1118)
• Maintenance
  • Fix comment positions (#​1098)
  • [refactoring] Wrap calls to Types.subst and Types.memberType (#​1115)
  • Build latest Caffeine on CI (#​1111)

v0.12.2

• Fix reading of JSpecify @​nullable annotations from varargs parameter in bytecode (#​1089)
• Fix JarInfer handling of generic types (#​1078)
• Fix another JSpecify mode crash involving raw types (#​1086)
• Fix bugs in handling of valueOf calls for map keys (#​1085)
• Suggest correct fix when array component of non-nullable array is made null. (#​1087)
• Substitute type arguments when checking type parameter nullability at call site (#​1070)
• Fix JarInfer parameter indexes for instance methods (#​1071)
• JSpecify mode: initial support for generic methods (with explicit type arguments at calls) (#​1053)
• Maintenance
  • Update to latest Error Prone and Error Prone Gradle plugin (#​1064)
  • Refactor serialization adapter retrieval by version (#​1066)
  • Remove fixes.tsv serialization from NullAway serialization service (#​1063)
  • Enable javac -parameters flag (#​1069)
  • Update to Gradle 8.11 (#​1073)
  • Add test for issue 1035 (#​1074)
  • remove use of deprecated Gradle API (#​1076)
  • Update to Error Prone 2.36.0 (#​1077)

v0.12.1

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)

v0.12.0

IMPORTANT:

• We now by default check/enforce that pure type-use annotations from JSpecify are written in the "right place" on array types, varargs types, and nested types. More
  details can be found in the wiki.
  We also expose -XepOpt:NullAway:LegacyAnnotationLocations flag to disable this new
  behavior for now to ease the migration. We expect to remove this flag in a future version
  of NullAway.
• We now support writing @​EnsuresNonNullIf on methods to capture cases where a method conditionally ensures that a field is @​NonNull. Thanks @​mauricioaniche for the contributions!

(The changelog below contains all changes from version 0.11.2, since version 0.11.3
contains only one cherry-picked PR from master).

• Enforce Strict Interpretation Of Type Use Annotation Locations Outside of JSpecify mode (#​1010)
• Update handling of annotations on varargs argument (#​1025)
• Create basic unit tests for library model generation (#​1031)
• Partial handling for restrictive annotations on varargs in unannotated code (#​1029)
• Add missing source files in android-jarinfer-models-sdk modules (#​1033)
• External Library Models: Adding support for @​nullable Method parameters (#​1006)
• JDK 23 support (#​1034)
• Support @​EnsuresNonNullIf (#​1044)
• Update some Android astubx models (#​1052)
• Remove unused or unneeded JarInfer flags (#​1050)
• Enforce correct type-use annotation locations for nested types (#​1045)
• Update Android SDK 31 astubx models (#​1054)
• Fix bugs in reading varargs annotations from bytecodes (#​1055)
• General maintenance:
  • Update to Gradle 8.10 (#​1023)
  • Update to Gradle 8.10.1 (#​1036)
  • Update to Error Prone 2.32.0 (#​1037)
  • Typo fix in README.md (#​1041)
  • Fix Gradle config instructions (#​1039)
  • Update to v4 of setup-gradle GitHub action (#​1043)
  • Add extra JVM args needed for JMH on recent JDK versions (#​1049)
  • Use HTTP instead of SSH for cloning repo for JMH Benchmarks (#​1056)
  • Various version updates (#​1051)
  • Update to Checker Framework 3.48.0 (#​1030)

v0.11.3

IMPORTANT: We have cherry-picked one PR in master since 0.11.2 for this release, it
does not contain all changes in master!

• Add missing source files in android-jarinfer-models-sdk modules (#​1033)

v0.11.2

• JSpecify: add another bailout check for raw types (#​1021)
• JSpecify: handle intersection type in one place (#​1015)
• JSpecify: fix for crash with wildcard types (#​1020)
• Maintenance:
  • Update to Error Prone 2.30.0 (#​1017)
  • Add test for #​1011 (#​1018)

v0.11.1

• Fix issue 1008 (#​1009)
• JSpecify: read upper bound annotations from bytecode and add tests (#​1004)
• Fix crash with suggested suppressions in JSpecify mode (#​1001)
• Update to JSpecify 1.0 and use JSpecify annotations in NullAway code (#​1000)
• Expose @​EnsuresNonNull and @​RequiresNonNull in annotations package (#​999)
• Don't report initializer warnings on @​NullUnmarked constructors / methods (#​997)
• Strip annotations from MethodSymbol strings (#​993)
• JSpecify: fix crashes where declared parameter / return types were raw (#​989)
• JSpecify: Handle @​nullable elements for enhanced-for-loops on arrays (#​986)
• Features/944 tidy stream nullability propagator (#​985)
• Tests for loops over arrays (#​982)
• Bug fixes for array subtyping at returns / parameter passing (#​980)
• JSpecify: Handle @​nonnull elements in @​nullable content arrays (#​963)
• Don't report @​nullable type argument errors for unmarked classes (#​958)
• External Library Models: Adding support for Nullable upper bounds of Generic Type parameters (#​949)
• Refactoring / code cleanups:
  • Test on JDK 22 (#​992)
  • Add test case for @​nullable Void with override in JSpecify mode (#​990)
  • Enable UnnecessaryFinal and PreferredInterfaceType EP checks (#​991)
  • Add missing @​test annotation (#​988)
  • Fix typo in variable name (#​987)
  • Remove AbstractConfig class (#​974)
  • Fix Javadoc for MethodRef (#​973)
  • Refactored data clumps with the help of LLMs (research project) (#​960)
• Build / CI tooling maintenance:
  • Various cleanups enabled by bumping minimum Java and Error Prone versions (#​962)
  • Disable publishing of snapshot builds from CI (#​967)
  • Update Gradle action usage in CI workflow (#​969)
  • Update Gradle config to always compile Java code using JDK 17 (#​971)
  • Update JavaParser to 3.26.0 (#​970)
  • Reenable JMH benchmarking in a safer manner (#​975)
  • Updated JMH Benchmark Comment Action (#​976)
  • Update to Gradle 8.8 (#​981)
  • Update to Error Prone 2.28.0 (#​984)
  • Update to Gradle 8.9 (#​998)
  • Update to WALA 1.6.6 (#​1003)

v0.11.0

IMPORTANT: Support for JDK 8 is dropped and NullAway now requires 2.14.0 or higher.

• Delete OptionalEmptinessHandler method that is no longer needed (#​954)
• Refactor PreservedAnnotationTreeVisitor (#​955)
• Update to Error Prone 2.27.1 (#​957)
• JSpecify subtyping checks for arrays (#​956)
• Bump to Checker Framework 3.43.0 (#​959)
• Drop Java 8 support (#​961)

v0.10.26

• External Library Models Integration (#​922)
• Rename test classes (#​951)
• Propagate more nullability info to lambdas known to be invoked synchronously (#​952)

v0.10.25

• 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

• 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

• 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

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

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

• 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

• 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

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

v0.10.17

• 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)

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

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

---

This PR was generated by Mend Renovate. View the repository job log.