uber/NullAway

Issues

• JSpecify: support a generic method call with explicit type arguments

  #1035 opened a month ago by beatbrot
  2

• JSpecify: support inference for calls to generic methods

  #1075 opened a month ago by msridhar
  0

• Unify `InferredJARModelsHandler` and `LibraryModelsHandler`

  #1072 opened a month ago by msridhar
  0

• Tracking issue: making `jspecify/jdk` library models available to NullAway users

  #950 opened 8 months ago by msridhar
  0

• regression: unsupported element kind RECORD symbol

  #1059 opened 2 months ago by xenoterracide
  3

• Support org.apache.commons.lang3.StringUtils.isNotEmpty

  #932 opened 2 months ago by ilopezv
  5

• null-away fails when returning a choice between two nullables

  #1058 opened 2 months ago by moaxcp
  1

• Possible bug in the data flow analysis?

  #1060 opened 2 months ago by mauricioaniche
  1

• Add an option to support correct positioning of type use annotations on arrays, even outside JSpecify mode

  #1007 opened 4 months ago by agentgt
  7

• Enforce correct type-use annotation locations for nested types

  #1026 opened 2 months ago by msridhar
  1

• Unexpected type: <nulltype> when both operands of a ternary expression are null

  #1012 opened 3 months ago by gavlyukovskiy
  4

• Switch to using a multi-release jar for NullAway

  #1047 opened 3 months ago by msridhar
  0

• Question: Best use of NullAway in specific scenarios

  #1032 opened 3 months ago by mauricioaniche
  9

• JSpecify: Use `@NullMarked` instead of `-XepOpt:NullAway:AnnotatedPackages`

  #1042 opened 3 months ago by pemistahl
  3

• Initializer method field state not correctly detected

  #1040 opened 3 months ago by protocol7
  3

• NullAway configuration is incorrect

  #1038 opened 3 months ago by emelyanovkr
  6

• JSpecify: work around missing type annotations in cast expression types

  #1022 opened 4 months ago by msridhar
  2

• Check handling of array types in unannotated / unmarked code

  #1028 opened 4 months ago by msridhar
  0

• Update handling of varargs in unannotated / unmarked code

  #1027 opened 4 months ago by msridhar
  0

• NullAway doesn't recognize @Nullable annotation in a different compilation unit

  #1011 opened 5 months ago by gavlyukovskiy
  12

• External Annotations Format/s Support, instead LibraryModels

  #1024 opened 4 months ago by vorburger
  1

• Improve documentation for LibraryModels usage with overloaded methods

  #1016 opened 4 months ago by moaxcp
  4

• Crash When Casting Raw Type to Parameterized Type

  #1019 opened 4 months ago by ahauschulte
  2

• JSpecify: Another "Did not find supertype" crash, with Strings

  #1013 opened 4 months ago by msridhar
  0

• JSpecify: Another "Did not find supertype" crash, with java.lang.Exception

  #1014 opened 4 months ago by msridhar
  0

• com.uber.nullaway.generics.CheckIdenticalNullabilityVisitor.visitClassType Did not find supertype of

  #1008 opened 5 months ago by agentgt
  5

• Add special handling for reading generic type argument annotations from bytecode, if needed

  #1005 opened 5 months ago by msridhar
  0

• isJSpecifyMode: JCTree$JCMethodInvocation cannot be cast to class VariableTree

  #996 opened 5 months ago by ben-manes
  2

• Investigate warnings from JSpecify mode on caffeine

  #1002 opened 5 months ago by msridhar
  3

• `@NullUnmarked` on a constructor does not suppress initializer errors

  #995 opened 5 months ago by msridhar
  0

• An unhandled exception was thrown by the Error Prone static analysis plugin.

  #994 opened 5 months ago by michael-neuhold
  2

• In JSpecify mode, reason about array contents nullability in for-each loop over array

  #983 opened 6 months ago by msridhar
  0

• Extract methods in StreamNullabilityPropagator

  #944 opened 6 months ago by msridhar
  1

• Clarify interactions between settings for generated code, restrictive annotations, etc.

  #978 opened 6 months ago by msridhar
  3

• Maven NullAway setup not detecting anything in the project

  #979 opened 6 months ago by Wolf2323
  2

• Set up the JMH benchmarking workflow again, but in a safer manner

  #968 opened 6 months ago by msridhar
  0

• MethodRef Javadocs wrong for method with multiple arguments (space after comma doesn't work)

  #972 opened 6 months ago by robinst
  2

• Remove OptionalEmptinessHandler method for propagating access paths to lambdas

  #953 opened 7 months ago by msridhar
  0

• Variable checked non-null outside a `forEach` or `Stream` lambda triggers an error

  #941 opened 8 months ago by sdeleuze
  13

• ignoring generic Nullable on Supplier

  #947 opened 8 months ago by xenoterracide
  14

• Published NonNull Present

  #948 opened 8 months ago by xenoterracide
  6

• Control flow analysis fails within a stream collector

  #934 opened 9 months ago by wbadam
  5

• Null `if` check and failing function to taken in account

  #943 opened 9 months ago by sdeleuze
  2

• `if` statement on a boolean does not prevent a dereferenced nullable error

  #942 opened 9 months ago by sdeleuze
  1

• Rename the Jar Infer Flags `JarInferEnabled`,`JarInferUseReturnAnnotations`

  #940 opened 9 months ago by akulk022
  0

• `if (Foo.this.bar != null)` in nested class not properly analyzed

  #936 opened 9 months ago by sdeleuze
  1

• Validation of null in a method used in a boolean expression does not work as expected.

  #935 opened 9 months ago by pompiuses
  1

• Support for `collect()` in Streams API

  #933 opened 9 months ago by jdcaperon
  4

• Build failure : 'options.compilerArgumentProviders.errorprone$0.name' is missing an input or output annotation.

  #931 opened 9 months ago by TeenaJoseph
  1

• False positive warning on switch statements with case null

  #930 opened 9 months ago by msridhar
  0