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

69 Open 43 Closed
69 Open 43 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

[Purity checker] Purity checker does not run as expected
#760 opened May 5, 2024 by Ao-senXiong
[Nullness checker] Use null value in stream false negative
#759 opened May 4, 2024 by Ao-senXiong
1
#738 breaks a handful of our tests
#757 opened May 2, 2024 by cpovirk
3
Further clean up qualifierdefaults
#755 opened Apr 30, 2024 by Ao-senXiong
Dataflow tests
#742 opened Apr 21, 2024 by wmdietl
1
@Ao-senXiong
1
Order of TypeUseLocation enum constants
#741 opened Apr 16, 2024 by wmdietl
Missing type arguments on enclosing types
#737 opened Apr 9, 2024 by wmdietl
Run multiple checker at the same time if error issues
#724 opened Mar 27, 2024 by Ao-senXiong
NotOnlyInitialized test coverage
#720 opened Mar 1, 2024 by wmdietl
Performance: Nullness/Initialization Checker
#719 opened Mar 1, 2024 by wmdietl
Reduce how many DefaultApplierElement and DefaultApplierElementImpl instances are created
#716 opened Feb 28, 2024 by wmdietl
Clean up applyToTypeVar logic in QualifierDefaults
#715 opened Feb 28, 2024 by wmdietl
Consistent naming in QualifierHierarchy
#714 opened Feb 28, 2024 by wmdietl
Fully support ParametricTypeVariableUseQualifier meta-annotation
#713 opened Feb 28, 2024 by wmdietl
Type argument inference depends on irrelevant annotations
#705 opened Feb 6, 2024 by wmdietl
Ensure CFG invariants hold and expand invariants
#694 opened Feb 2, 2024 by wmdietl
1
Value Checker issue with boxed primitives and type refinements
#687 opened Jan 29, 2024 by wmdietl
Add a way to configure a different annotated JDK
#671 opened Jan 4, 2024 by netdpb
Investigate MostSpecificVisitor
#662 opened Jan 1, 2024 by wmdietl
1
Make git.pre-commit only check format for file have been added
#638 opened Nov 27, 2023 by Ao-senXiong
@Ao-senXiong
1
CFAbstractStore#thisValue should never be the NullType
#637 opened Nov 26, 2023 by wmdietl
Add an option to not check dead code
#627 opened Nov 23, 2023 by wmdietl
1
1
Improve the error message of initialization checker by showing the uninitialized fields
#622 opened Nov 21, 2023 by Ao-senXiong
1
@Ao-senXiong
3
Relationship ATF/GATF, QualifierHierarchy/TypeHierarchy
#598 opened Oct 16, 2023 by wmdietl
Fix guava type check error
#589 opened Oct 9, 2023 by wmdietl
ProTip! no:milestone will show everything without a milestone.