All Versions
71
Latest Version
Avg Release Cycle
38 days
Latest Release
-

Changelog History
Page 1

  • v0.10.5 Changes

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

    ๐Ÿš€ (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 Changes

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

    • ๐Ÿ‘‰ 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 Changes

    ๐Ÿš€ This is a bug-fixing release for a crash introduced in 0.10.1 on type.class (for primitive type = boolean/int/void/etc.).

    • ๐Ÿ›  Fix crash when querying null-markedness of primitive.class expressions (#654)
    • ๐Ÿ›  Fix for querying for generated code w/ primitive.class expressions. (#655)
  • v0.10.0 Changes

    • ๐ŸŽ Switch parameter overriding handler to use Nullness [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 Changes

    • ๐Ÿ‘Œ 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 Changes

    • ๐Ÿ›  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)
  • v0.9.8 Changes

    • ๐Ÿ›  Fix false positive involving type parameter @Nullable annotations (#609)
    • โž• Add config option to register custom @Generated annotations. (#600)
    • Treat Void formal arguments as @Nullable (#613)
    • ๐Ÿ‘ Generalize support for castToNonNull methods using library models (#614)
    • ๐Ÿ‘Œ Support for specific libraries/APIs:
      • Support for Preconditions.checkArgument (#608)
      • Model for com.google.api.client.util.Strings.isNullOrEmpty (#605)
    • ๐Ÿ”จ Refactoring:
      • Cleanups to AccessPath representation and implementation (#603)
      • Clean-up: Remove unused fix suggestion code. (#615)
    • โšก๏ธ Dependency Updates:
      • Update to Checker Framework 3.22.2 (#610)
    • ๐Ÿ— Build / CI tooling for NullAway itself:
      • Add NullAway 0.9.7 as a JMH benchmark (#602)
      • Update to Error Prone 2.14.0 (#606)
  • v0.9.7 Changes

    • ๐Ÿ‘ Allow zero-argument static method calls to be the root of an access path (#596)
    • ๐Ÿ‘Œ Support for specific libraries/APIs
      • Add support for Optional.isEmpty() (#590)
      • Model System.console() as returning @nullable (#591)
    • ๐Ÿ‘ JDK 17+ support improvements
      • Add a test of binding patterns (#583)
    • ๐Ÿ‘ JSpecify support:
      • Move JSpecify tests to correct package (#587)
    • ๐Ÿ‘ NullAwayInfer/Annotator data serialization support [experimental]
      • Fixes line breaks and tabs in serializing errors. (#584)
      • Using flatNames for LocalType/anon. classes in fix serialization (#592)
      • Fixes to computing class and method info for error serialization (#599)
    • โšก๏ธ Dependency updates
      • [JarInfer] Update Apache Commons IO dependency. (#582)
      • Update to Checker Framework 3.21.3 (#564)
    • ๐Ÿ— Build / CI tooling for NullAway itself:
      • NullAway now builds with NullAway (#560)
      • Switch to using gradle-build-action (#581)
      • Compile and test against Error Prone 2.12.0 (#585)
      • Enabled a few more EP checks on our code (#586) (Note: the Void related portion of this changes was reverted)
      • Update to Gradle 7.4.2 (#589)
      • Update to Error Prone 2.13.1 and latest Lombok (#588)