Skip to content

Issues: typetools/checker-framework

Beta
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

382 Open 1,620 Closed
382 Open 1,620 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Map.merge and warning despite @Nullable
#7082 opened May 24, 2025 by rionda
1
3
Compilation time doubling in Hibernate ORM
#7080 opened May 20, 2025 by beikov
3
CF Crash: StructuralEqualityComparer: unexpected combination (v3.49.3) crash
#7079 opened May 20, 2025 by TarqusMiltonium
@smillst
Not seeing missing method warning in stub file for an inherited method
#7069 opened May 6, 2025 by msridhar
Type argument inference crashed for Stream.map (since version 3.49.2)
#7064 opened May 1, 2025 by pSub
@smillst
1
Suppress RLC warnings for safe first-time non-final field overwrites in constructors ResourceLeakChecker
#7049 opened Apr 18, 2025 by iamsanjaymalakar
@iamsanjaymalakar
javac API change in Java 25 - Log.DiagnosticHandler
#7039 opened Apr 14, 2025 by cushon
@smillst
Unsoundness in Nullness Checker with record patterns
#7032 opened Apr 10, 2025 by msridhar
1
Model possible MatchExceptions in control-flow graphs
#7028 opened Apr 9, 2025 by msridhar
2
Unacceptably long compile times for Map.ofEntries
#7023 opened Apr 3, 2025 by mspielberg
@smillst
Support Java 21 and 22 constructs in .ajava files
#7016 opened Mar 31, 2025 by msridhar
RLC unsoundness at (pseudo?) assignments to @MustCallUnknown
#6990 opened Mar 19, 2025 by Calvin-L
1
1
RLC inference with a private finalizer method ResourceLeakChecker
#6989 opened Mar 13, 2025 by iamsanjaymalakar
@iamsanjaymalakar
1
Incorrect RLC inference of EnsuresCalledMethods for outer-class fields released by inner-class methods bug ResourceLeakChecker
#6988 opened Mar 13, 2025 by iamsanjaymalakar
@iamsanjaymalakar
3
RLC - [[checkOwningField() did not find a reason!]] bug ResourceLeakChecker
#6987 opened Mar 12, 2025 by iamsanjaymalakar
@iamsanjaymalakar
Annotation not found in provided JUnit5 stub file
#6961 opened Jan 22, 2025 by joe-mojo
Make JavaDoc respect JPMS module definitions
#6950 opened Jan 7, 2025 by mtf90
Problems inferring arguments from stream pipelines
#6938 opened Dec 24, 2024 by jpschewe
@smillst
Crash: AsSuperVisitor Declared_Primitive: type is not a boxed primitive
#6923 opened Dec 12, 2024 by iamsanjaymalakar
2
Checker Framework always crashes on all Windows boxes in my team
#6902 opened Nov 25, 2024 by obfischer
2
failing to detect invalid assignment when using ? wildcard False Negative (missing warning or unsoundness)
#6890 opened Nov 12, 2024 by theosotr
@smillst
Non null-safe assignment when dealing with wildcards False Negative (missing warning or unsoundness)
#6881 opened Oct 30, 2024 by theosotr
@smillst
Possible Null Pointer Dereference in MustCallConsistencyAnalyzer.java ResourceLeakChecker
#6878 opened Oct 29, 2024 by ZuhairORZaki
type inference crashed: AsSuperVisitor: unexpected combination crash
#6874 opened Oct 25, 2024 by theosotr
@smillst
New UI for the website for better readability
#6873 opened Oct 25, 2024 by Neelanchal17
8
ProTip! Add no:assignee to see everything that’s not assigned.