Owner

typetools

1 indexed repository · View on GitHub

checker-framework
Pluggable type-checking for Java

Java · 1149 stars

Beginner friendly Everything

Open All

Missing error on qualifiers on enclosing types. Open

False Negative (missing warning or unsoundness)

Difficulty 3/5 1-2 days Newbie friendliness 65/100

typetools/checker-framework#8170 · Opened Sep 15, 2026
Enforce type declaration bounds Open

Difficulty 2/5 1-3 hours Newbie friendliness 72/100

typetools/checker-framework#8043 · Opened Aug 21, 2026
Enforce `@TargetLocations` Open

Difficulty 1/5 Under an hour Newbie friendliness 85/100

typetools/checker-framework#8042 · Opened Aug 21, 2026
Feature of checking for pattern matching on case changing enums (discussion). Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

typetools/checker-framework#8033 · 1 comment · Opened Aug 21, 2026
Crash on a qualified anonymous inner-class creation whose argument has the enclosing class's type Open

crash

typetools/checker-framework#8018 · 1 assignee · Opened Aug 20, 2026
Crash on outer.new Inner(outer) {}. Open

crash

typetools/checker-framework#8017 · 1 assignee · Opened Aug 20, 2026
Make type argument inference make use of `@Covariant`. Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

typetools/checker-framework#7708 · Opened May 8, 2026
Error message on "Do so by passing the top qualifier from the given hierarchy." violation is not informative Open

Difficulty 3/5 1-2 days Newbie friendliness 52/100

typetools/checker-framework#7652 · Opened Apr 15, 2026
i18nformat.key.not.found reported for ResourceBundle.getString(key) when key is a valid constant passed through variable indirection Open

Unreproducible

Difficulty 4/5 3-5 days Newbie friendliness 52/100

typetools/checker-framework#7619 · 4 comments · Opened Apr 5, 2026
Proposal: Migrate the JDK 21 annotations typetools/jdk to JDK 25 Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

typetools/checker-framework#7482 · 5 comments · Opened Feb 8, 2026
Custom qualifiers and Maven setup Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

typetools/checker-framework#7387 · 1 comment · Opened Nov 19, 2025
Interaction between NotOnlyInitialized and UnderInitialization Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

typetools/checker-framework#7373 · 3 comments · Opened Nov 10, 2025
Error recognizing Class.isInstance filters out null Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

typetools/checker-framework#7365 · 5 comments · Opened Nov 7, 2025
@PolyNull cannot be resolved correctly in nested generic type parameters Open

typetools/checker-framework#7359 · 1 assignee · Opened Nov 3, 2025
`Map.merge` and other methods now always return `@Nullable` Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

typetools/checker-framework#7340 · 1 comment · 1 reaction · Opened Oct 27, 2025
error: Enclosing type not found Open

typetools/checker-framework#7311 · 1 comment · 1 assignee · Opened Sep 29, 2025
Spurious [dereference.of.nullable] for object under initialization? Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

typetools/checker-framework#7268 · 1 comment · Opened Sep 17, 2025
Nullness Checker unsoundness with inner classes Open

False Negative (missing warning or unsoundness)

Difficulty 4/5 3-5 days Newbie friendliness 35/100

typetools/checker-framework#7239 · 1 comment · Opened Sep 1, 2025
NPE in MustCallConsistencyAnalyzer Open

crash ResourceLeakChecker

Difficulty 4/5 3-5 days Newbie friendliness 42/100

typetools/checker-framework#7217 · Opened Aug 21, 2025
Confusing qualifier in "required" line of error message Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

typetools/checker-framework#7211 · 1 comment · Opened Aug 20, 2025
type.argument warning when assigning to explicitly retyped type with wildcard parameters Open

False Positive (false warning or imprecision)

typetools/checker-framework#7210 · 2 comments · 1 assignee · Opened Aug 20, 2025
Poor error messages for `@EnsuresCalledMethods` Open

Difficulty 5/5 Over a week Newbie friendliness 30/100

typetools/checker-framework#7140 · 2 comments · 1 reaction · Opened Jul 2, 2025
Inconsistent default nullability between Called Methods and Nullness checkers with Lombok Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

typetools/checker-framework#7138 · 1 comment · Opened Jul 1, 2025
Failing constraint printed twice for `type.arguments.not.inferred` error Open

Difficulty 3/5 1-2 days Newbie friendliness 48/100

typetools/checker-framework#7134 · Opened Jun 29, 2025
Generic type variable doesn't respect @NonNull annotation on the generic tpye. Open

typetools/checker-framework#7104 · 1 assignee · Opened Jun 12, 2025
isVariableTreeDeclaredUsingVar assumes var types don't have start positions, is broken by changes in JDK-8329951 Open

Difficulty 2/5 1-3 hours Newbie friendliness 68/100

typetools/checker-framework#7096 · 1 comment · Opened Jun 10, 2025
Compilation time doubling in Hibernate ORM Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

typetools/checker-framework#7080 · 5 comments · Opened May 20, 2025
Not seeing missing method warning in stub file for an inherited method Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

typetools/checker-framework#7069 · Opened May 6, 2025
Type argument inference crashed for Stream.map (since version 3.49.2) Open

typetools/checker-framework#7064 · 1 comment · 1 assignee · Opened May 1, 2025
Suppress RLC warnings for safe first-time non-final field overwrites in constructors Open

ResourceLeakChecker

typetools/checker-framework#7049 · 1 assignee · Opened Apr 18, 2025
javac API change in Java 25 - Log.DiagnosticHandler Open

typetools/checker-framework#7039 · 1 assignee · Opened Apr 14, 2025
Unsoundness in Nullness Checker with record patterns Open

False Negative (missing warning or unsoundness)

Difficulty 4/5 3-5 days Newbie friendliness 35/100

typetools/checker-framework#7032 · 1 comment · Opened Apr 10, 2025
Model possible `MatchException`s in control-flow graphs Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

typetools/checker-framework#7028 · 2 comments · Opened Apr 9, 2025
Support Java 21 and 22 constructs in `.ajava` files Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

typetools/checker-framework#7016 · 2 comments · Opened Mar 31, 2025
RLC unsoundness at (pseudo?) assignments to `@MustCallUnknown` Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

typetools/checker-framework#6990 · 1 comment · Opened Mar 19, 2025
RLC inference with a private finalizer method Open

ResourceLeakChecker

typetools/checker-framework#6989 · 1 comment · 1 assignee · Opened Mar 13, 2025
Incorrect RLC inference of EnsuresCalledMethods for outer-class fields released by inner-class methods Open

bug ResourceLeakChecker

typetools/checker-framework#6988 · 3 comments · 1 assignee · Opened Mar 13, 2025
RLC - [[checkOwningField() did not find a reason!]] Open

bug ResourceLeakChecker

typetools/checker-framework#6987 · 1 reaction · 1 assignee · Opened Mar 12, 2025
Annotation not found in provided JUnit5 stub file Open

Difficulty 2/5 1-3 hours Newbie friendliness 45/100

typetools/checker-framework#6961 · Opened Jan 22, 2025
Make JavaDoc respect JPMS module definitions Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

typetools/checker-framework#6950 · Opened Jan 7, 2025
Problems inferring arguments from stream pipelines Open

typetools/checker-framework#6938 · 1 assignee · Opened Dec 24, 2024
Crash: AsSuperVisitor Declared_Primitive: type is not a boxed primitive Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

typetools/checker-framework#6923 · 2 comments · Opened Dec 12, 2024
Checker Framework always crashes on all Windows boxes in my team Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

typetools/checker-framework#6902 · 2 comments · Opened Nov 25, 2024
Non null-safe assignment when dealing with wildcards Open

False Negative (missing warning or unsoundness)

typetools/checker-framework#6881 · 1 assignee · Opened Oct 30, 2024
Possible Null Pointer Dereference in MustCallConsistencyAnalyzer.java Open

ResourceLeakChecker

Difficulty 2/5 1-3 hours Newbie friendliness 42/100

typetools/checker-framework#6878 · Opened Oct 29, 2024
New UI for the website for better readability Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

typetools/checker-framework#6873 · 8 comments · Opened Oct 25, 2024
NPE: Cannot invoke "javax.lang.model.element.AnnotationMirror.getAnnotationType()" because "annotation" is null Open

crash

typetools/checker-framework#6872 · 1 comment · 1 assignee · Opened Oct 25, 2024
CCE: AnnotatedWildcardType cannot be cast to class AnnotatedTypeMirror$AnnotatedDeclaredType Open

crash

typetools/checker-framework#6871 · 1 assignee · Opened Oct 23, 2024
failed to report type argument that does not satisfy upper bound Open

False Negative (missing warning or unsoundness)

typetools/checker-framework#6868 · 1 assignee · Opened Oct 18, 2024
false negative when overriding method Open

False Negative (missing warning or unsoundness)

typetools/checker-framework#6864 · 2 comments · 1 reaction · 1 assignee · Opened Oct 13, 2024

Showing the newest 100

This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.

Open advanced filter

typetools

Showing the newest 100

Get new issues in your inbox