Search results

Treat effectively final variables the same as static final fields when reasoning about "constant" function calls

Status: Open.

#1318 In uber/NullAway;

· wimdeblauwe opened on Oct 26, 2025

Fail early with a JDK not compatible with the JSpecify mode

Status: Open.

#1310 In uber/NullAway;

· sdeleuze opened on Oct 9, 2025

Better support method reference parameters in generic method inference

bug

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

Status: Open.

#1307 In uber/NullAway;

· agrieve opened on Oct 6, 2025

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

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

JSpecify: missing warning with inner classes and inheritance

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

lowpriority

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