Skip to content

Issues: eisop/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.

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

119 Open 69 Closed
119 Open 69 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Improve interaction with typetools checker-qual dependency
#1107 opened Feb 10, 2025 by wmdietl
Defaults for explicit upper and lower bounds of wildcards and type parameters enhancement
#1106 opened Feb 9, 2025 by wmdietl
ConditionalTransferResult out of all method invocations
#1099 opened Feb 6, 2025 by wmdietl
1
Method calls on super vs this
#1098 opened Feb 6, 2025 by wmdietl
1
CFAbstractTransfer interaction with Aliasing Checker
#1094 opened Feb 6, 2025 by wmdietl
Review AnalysResults identifiers
#1093 opened Feb 6, 2025 by wmdietl
Consistency of method names in BaseTypeVisitor
#1090 opened Feb 5, 2025 by wmdietl
AnnotatedTypeMirror#typeVariable seems to be hardly used
#1089 opened Feb 4, 2025 by wmdietl
Relation between ATF methodFromUse/constructorFromUse and TypeFromExpressionVisitor
#1088 opened Feb 4, 2025 by wmdietl
Clean up varargs expansion in 'methodFromUse'/'constructorFromUse'
#1087 opened Feb 4, 2025 by wmdietl
Performance of extended checks for wildcards enhancement
#1077 opened Jan 29, 2025 by wmdietl
Declaration annotation(s) to specify under-initialization method receivers enhancement
#1076 opened Jan 29, 2025 by wmdietl
1
Polymorphic qualifier on type argument result in Viewpoint adapter crash
#1074 opened Jan 27, 2025 by Ao-senXiong
1
Issues to resolve before merge PICO into EISOP
#1071 opened Jan 24, 2025 by Ao-senXiong
Strange behavior in Nullness Checker
#1069 opened Jan 22, 2025 by wadoon
4
Expand test coverage for wildcards with super bounds
#1067 opened Jan 21, 2025 by wmdietl
Target location enforcement interacts with -AaliasedTypeAnnos
#1065 opened Jan 17, 2025 by Ao-senXiong
AnnotationUtils.getElementValueArray handling of defaults
#1064 opened Jan 16, 2025 by wmdietl
Forbid @NonNull on java.lang.Void false negative
#1061 opened Jan 11, 2025 by wmdietl
Consider move the publication workflow to central portal and JReleaser build_system
#1060 opened Jan 11, 2025 by Ao-senXiong
Forbid annotations on class extends and implements clauses enhancement
#1059 opened Jan 11, 2025 by Ao-senXiong
1
1
Reduce duplication in gradle tasks that clone repositories build_system
#1051 opened Jan 6, 2025 by wmdietl
1
@Ao-senXiong
Dependency review in PRs build_system
#1045 opened Jan 4, 2025 by wmdietl
1
@Ao-senXiong
Deprecate Java 8 and support module
#1036 opened Dec 30, 2024 by Ao-senXiong
Improve test case coverage for java.util.Objects enhancement
#1017 opened Dec 14, 2024 by Ao-senXiong
@Ao-senXiong
3
ProTip! Adding no:label will show everything without a label.