-
Notifications
You must be signed in to change notification settings - Fork 354
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
false negative when using ternary operator
False Negative (missing warning or unsoundness)
#6849
opened Oct 8, 2024 by
theosotr
False positive in the Optional Checker
False Positive (false warning or imprecision)
#6848
opened Oct 8, 2024 by
jyoo980
Unsoundness in MustCallChecker (and RLC) for functional interfaces
ResourceLeakChecker
#6823
opened Sep 26, 2024 by
Calvin-L
type parameter bounded by SAM might lead to false negative
False Negative (missing warning or unsoundness)
#6816
opened Sep 24, 2024 by
theosotr
false negative when encountering recursive bound
False Negative (missing warning or unsoundness)
#6815
opened Sep 24, 2024 by
theosotr
Improved interaction between
@This
and @MustCall
ResourceLeakChecker
#6800
opened Sep 13, 2024 by
Calvin-L
@Nullable result inferred for @NonNull returning method
#6756
opened Aug 12, 2024 by
MichalStehlikCz
type.arguments.not.inferred / crash using result of collect groupingBy
#6755
opened Aug 12, 2024 by
MichalStehlikCz
Inference is not able to use return type in @Nullable type inference
#6748
opened Aug 8, 2024 by
MichalStehlikCz
False positive due to failure to capture full type information
#6747
opened Aug 8, 2024 by
MichalStehlikCz
False positive when assigning result of function with type parameters to var
#6741
opened Aug 6, 2024 by
MichalStehlikCz
Type parameter deemed nullable in <? extends T> and nonnull in <T>?
#6740
opened Aug 6, 2024 by
MichalStehlikCz
Stream result after cast evaluated as having @PolyNull element
#6739
opened Aug 6, 2024 by
MichalStehlikCz
-Alint=trustArrayLenZero is not correctly working to recoganise @ArrayLen() annotation
#6702
opened Jul 8, 2024 by
Rohanraj123
Integrating the Checker Framework in other static analysis tools?
question
#6681
opened Jun 25, 2024 by
jyoo980
Previous Next
ProTip!
Exclude everything labeled
bug
with -label:bug.