Issues: typetools/checker-framework
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Should the default stub of JUnit asserts like assertNotNull really be NotNull?
#6475
opened Mar 1, 2024 by
agentgt
checker-framework crashes on java string templates (JEP 430) (preview feature)
#6469
opened Feb 28, 2024 by
Serranya
Non-termination of WPI on NJR Benchmarks for Nullness Checker Annotations
#6468
opened Feb 26, 2024 by
nimakarimipour
Resource Leak Checker consuming excessive memory for compilation unit
#6435
opened Jan 31, 2024 by
msridhar
Disable Returns Receiver Checker by default when running Resource Leak Checker
ResourceLeakChecker
#6434
opened Jan 31, 2024 by
msridhar
Error: "StructuralEqualityComparer: unexpected combination" when upgrading to 3.42.0
bug
crash
#6388
opened Jan 9, 2024 by
kennknowles
Handling of obsolete declaration annotations on arrays where the element is a type parameter
#6374
opened Dec 17, 2023 by
cushon
Spurious interning error in for-each loop: "found
long
, required @Interned long
"
#6371
opened Dec 14, 2023 by
Calvin-L
See which other JDK subtypes of A beginner-friendly place to start contributing to the Checker Framework
ResourceLeakChecker
AutoCloseable
should be @MustCall("close")
good first issue
False negative for postconditions with
this
or #n
in their expression
False Negative (missing warning or unsoundness)
#6291
opened Nov 11, 2023 by
mernst
@EnsuresNonNullIf produce contracts.conditional.postcondition error
#6288
opened Nov 8, 2023 by
is-ivanov
Feature Request: Support the use of jetbrains "external annotations" annotation.xml format for stubbing.
enhancement
good first issue
A beginner-friendly place to start contributing to the Checker Framework
#6258
opened Oct 23, 2023 by
sir-maniac
Feature request: WPI should infer conditional postconditions
enhancement
#6237
opened Oct 13, 2023 by
jyoo980
Optional checker: implicit
@MaybePresent
annotations are inserted in .ajava
files
#6232
opened Oct 10, 2023 by
jyoo980
Feature request:
do-like-javac
should support projects with a subdirectory structure
#6224
opened Oct 3, 2023 by
jyoo980
Previous Next
ProTip!
Exclude everything labeled
bug
with -label:bug.