Search results

JSpecify: restrict instantiation type on constructors like <code>AtomicReference</code>

jspecifyRelated to support for jspecify standard (see jspecify.dev)Related to support for jspecify standard (see jspecify.dev)

Status: Open.

#1300 In uber/NullAway;

· msridhar opened on Sep 20, 2025

Turn on checking of contracts by default

Status: Open.

#1296 In uber/NullAway;

· msridhar opened on Sep 18, 2025

JSpecify: inference for calls to generic methods not working for lambda arguments

jspecifyRelated to support for jspecify standard (see jspecify.dev)Related to support for jspecify standard (see jspecify.dev)

Status: Open.

#1294 In uber/NullAway;

· agrieve opened on Sep 17, 2025

Generic method inference does not support inferring different nullability for multiple calls to same generic method

jspecifyRelated to support for jspecify standard (see jspecify.dev)Related to support for jspecify standard (see jspecify.dev)

Status: Open.

#1291 In uber/NullAway;

· msridhar opened on Sep 16, 2025

Better support lambda parameters in generic method inference

jspecifyRelated to support for jspecify standard (see jspecify.dev)Related to support for jspecify standard (see jspecify.dev)

Status: Open.

#1290 In uber/NullAway;

· msridhar opened on Sep 16, 2025

Better test and support generic method inference for returns from lambdas

jspecifyRelated to support for jspecify standard (see jspecify.dev)Related to support for jspecify standard (see jspecify.dev)

Status: Open.

#1288 In uber/NullAway;

· msridhar opened on Sep 16, 2025

For generic method inference, use refined type of locals

jspecifyRelated to support for jspecify standard (see jspecify.dev)Related to support for jspecify standard (see jspecify.dev)

Status: Open.

#1287 In uber/NullAway;

· msridhar opened on Sep 16, 2025

JSpecify: missing warning with inner classes and inheritance

Status: Open.

#1274 In uber/NullAway;

· msridhar opened on Sep 1, 2025

Improve documentation on how NullAway analyzes complex <code>if</code> conditions

Status: Open.

#1254 In uber/NullAway;

· bannmann opened on Aug 22, 2025

JSpecifyMode: Incomplete checking on reads from <code>Iterable&lt;@Nullable X&gt;</code> and <code>@Nullable X[]</code>

bug

jspecifyRelated to support for jspecify standard (see jspecify.dev)Related to support for jspecify standard (see jspecify.dev)

Status: Open.

#1253 In uber/NullAway;

· jeffrey-easyesi opened on Aug 21, 2025

Feature Request: Do not warn on assumeNonNull(nullUnmarkedThing)

Status: Open.

#1241 In uber/NullAway;

· agrieve opened on Aug 8, 2025

Map.of a false negative

Status: Open.

#1236 In uber/NullAway;

· xenoterracide opened on Jul 30, 2025