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

[renovate]

Note: This PR body was truncated due to platform limits.

This PR contains the following updates:

Package	Change	Age	Confidence
com.uber.nullaway:nullaway	0.10.9 -> 0.12.14

---

Release Notes

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

v0.12.14

Compare Source

This release fixes a bug where the new RequireExplicitNullMarking check was not fully disabled by default. It also includes a couple of performance optimizations to reduce NullAway overhead.

• Various optimizations (#​1358)
• Don't report matches from RequireExplicitNullMarking when run at SUGGESTION level (#​1365)
• Optimize methods that check for annotations on a Symbol (#​1362)
• Tune warning message for RequireExplicitNullMarking (#​1366)
• Maintenance
  • Fix arg concatenation bug in JMH (#​1357)
  • Move wildcard-related tests to a separate test class (#​1361)

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

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 bug where the new RequireExplicitNullMarking check was not fully disabled by default. It also includes a couple of performance optimizations to reduce NullAway overhead.

• Various optimizations (#​1358)
• Don't report matches from RequireExplicitNullMarking when run at SUGGESTION level (#​1365)
• Optimize methods that check for annotations on a Symbol (#​1362)
• Tune warning message for RequireExplicitNullMarking (#​1366)
• Maintenance
  • Fix arg concatenation bug in JMH (#​1357)
  • Move wildcard-related tests to a separate test class (#​1361)

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)

v0.10.16

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

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

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

• 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

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

• 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

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

---

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.