Richard Winograd

I often write code of the flavor: `log.info("Array items: [{}]", Joiner.on(",").join(array))`. This code is somewhat brittle for extremely long lists, but I have no convenient way to truncate the list...

Nullness javadocs are unclear and break certain static analyzers

12

I'm looking at the changes in 31.0 for enhanced null-checking, and I'm trying to validate that my understanding of the change is correct and bring attention to some issues I...

AnnotatedPackages w/ com.google.common not working due to Preconditions.checkNotNull

9

I'm using **Nullaway 0.9.0** using the **Bazel build system**. We have a small library that is using google guava and are trying to treat the Guava library as if it...

Assuming that we have the following code: ``` class SomeClass { @MustBeClosed Closeable someMethod() { return new AutoCloseable() { public void close() {}; }; } } ``` Two examples of...

Looking at [this line](https://github.com/google/error-prone/blob/d19024b059d9db804045fdc992c9f6f3ff073769/core/src/main/java/com/google/errorprone/bugpatterns/AbstractMustBeClosedChecker.java#L303) of code, I believe that we should be looking for the next statement that is not an empty variable declaration. For example: ``` Closeable closeable =...

Common pattern for json.Unmarshall with nil map flagged as false positive

1

Code sample: ```golang package main import ( "encoding/json" "fmt" ) func main() { var outMap map[string]any if err := json.Unmarshal([]byte("{}"), &outMap); err != nil { println(fmt.Sprint("err: ", err)) return }...

_Note: Fully recognize that this may wind up being an unacceptable ask based on the amount of inspection or Facts needed to be surfaced by the static analyzer._ Within our...

I believe that there is a false positive that occurs when a receiver that correctly handles Nil is assigned to an interface. I'm including a slightly more verbose code sample...