typetools/checker-framework

add ability to load annotation classes from processor path

#2606

· msridhar opened

on Jul 6, 2019

Purity checks are performed multiple times

#2582

· mernst opened

on Jun 27, 2019

Purity warning checker name

#2581

· mernst opened

on Jun 27, 2019

Document caching in AnnotatedTypeFactory.getAnnotatedType(Tree)

#2647

· msridhar opened

on Jul 25, 2019

Interaction between @PolyNull and method type argument inference

False Positive (false warning or imprecision)

#2429

· wmdietlGC opened

on Apr 15, 2019

Remove `METHOD` from `@Target` meta-annotation of `LengthOf`

Index

#2557

· mernst opened

on Jun 16, 2019

TaintedChecker false positive with Vector<Object> and .copyInto

#2422

· shuehner opened

on Apr 11, 2019

Treat polymorphic types more precisely for classes with upper bound

enhancement

False Positive (false warning or imprecision)

#2478

· jwaataja opened

on May 3, 2019

Annotating the receiver

enhancement

#2433

· mernst opened

on Apr 19, 2019

Print nullness or initialization type qualifiers, but not both, in error messages

enhancement

#2276

· mernst opened

on Feb 5, 2019

Type of "this" in field initializers & initializer blocks must be the least upper bound of all constructor result annotations

#2265

· t-rasmud opened

on Jan 30, 2019

@EnsuresNonNullIf doesn't seem to work as expected when used in a superclass

#2013

· diegovar opened

on Jun 5, 2018

Allow private fields in preconditions even when the field isn't accessible at call sites.

#1951

· cushon opened

on Apr 21, 2018

Store extends/implements type annotations in bytecode

#1962

· wmdietl opened

on Apr 27, 2018

Ensure soundness and good test coverage of StructuralEqualityComparer

False Negative (missing warning or unsoundness)

good first issue

#1967

· wmdietl opened

on May 1, 2018

Enforce @TargetLocations annotation

#1919

· mernst opened

on Mar 28, 2018

@EnsuresNonNull[If] should ensure all fields on a path are non-null

False Positive (false warning or imprecision)

#1917

· wmdietl opened

on Mar 27, 2018

Too long compilation

#1889

· justmin opened

on Mar 12, 2018

Nullness Checker Static Initialization

bug

False Negative (missing warning or unsoundness)

#353

· GoogleCodeExporter opened

on Jul 3, 2015

Implicit "this" passed through non-static inner class loses @UnderInitialization

bug

False Negative (missing warning or unsoundness)

#409

· GoogleCodeExporter opened

on Jul 3, 2015

Member reference: pre and post conditions should be part of function type

False Negative (missing warning or unsoundness)

Java8

#801

· smillst opened

on Jun 15, 2016

Fix receiver override checks for generic parameters of receivers

#1689

· csgordon opened

on Nov 28, 2017

type inference limitation with streams

#1630

· cushon opened

on Nov 3, 2017

@EnsuresQualifierIf annotation that supports annotation arguments

enhancement

#1606

· mernst opened

on Oct 20, 2017

Object::getClass method reference resulting in methodref.return.invalid

#1440

· entonio opened

on Aug 9, 2017

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

High

add ability to load annotation classes from processor path

Purity checks are performed multiple times

Purity warning checker name

Document caching in AnnotatedTypeFactory.getAnnotatedType(Tree)

Interaction between @PolyNull and method type argument inference

Remove `METHOD` from `@Target` meta-annotation of `LengthOf`

TaintedChecker false positive with Vector<Object> and .copyInto

Treat polymorphic types more precisely for classes with upper bound

Annotating the receiver

Print nullness or initialization type qualifiers, but not both, in error messages

Type of "this" in field initializers & initializer blocks must be the least upper bound of all constructor result annotations

@EnsuresNonNullIf doesn't seem to work as expected when used in a superclass

Allow private fields in preconditions even when the field isn't accessible at call sites.

Store extends/implements type annotations in bytecode

Ensure soundness and good test coverage of StructuralEqualityComparer

Enforce @TargetLocations annotation

@EnsuresNonNull[If] should ensure all fields on a path are non-null

Too long compilation

Nullness Checker Static Initialization

Implicit "this" passed through non-static inner class loses @UnderInitialization

Member reference: pre and post conditions should be part of function type

Fix receiver override checks for generic parameters of receivers

type inference limitation with streams

@EnsuresQualifierIf annotation that supports annotation arguments

Object::getClass method reference resulting in methodref.return.invalid

High

List view