Skip to content

Pull requests: typetools/checker-framework

New pull request New
33 Open 6,040 Closed
33 Open 6,040 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
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
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add missing overrides
#8165 opened Sep 13, 2026 by mernst Member Loading…
1
Rename generateDOTofCFG to generatePdfOfCfg, install graphviz
#8164 opened Sep 13, 2026 by mernst Member Loading…
3
Check qualifiers of equality constraints implied by an inference variable's bounds
#8154 opened Sep 9, 2026 by smillst Member Loading…
@smillst
1
Check a constructor's purity against its class's instance initializers
#8113 opened Sep 8, 2026 by smillst Member Loading…
@smillst
4
Permit a constructor to write an element of an array that it owns
#8112 opened Sep 8, 2026 by smillst Member Loading…
@smillst
5
Check a lambda's body against the purity of the method it implements
#8111 opened Sep 8, 2026 by smillst Member Loading…
@mernst
4
SideEffectFree and lambdas (documentation review)
#8109 opened Sep 8, 2026 by smillst Member • Draft
@smillst
4
Do not crash when a supertype's class file is absent
#8087 opened Sep 4, 2026 by smillst Member Loading…
1
@smillst
7
Enforce @TargetLocations; fixes #8042
#8084 opened Sep 3, 2026 by w3lld1 Loading…
1
@w3lld1
11
Split JavaParserUtil; new methods resolveTypeName and typeKindForPrimitive
#8080 opened Sep 2, 2026 by mernst Member Loading…
@smillst
10
Don't write irrelevant annotations in .ajava files
#8077 opened Sep 2, 2026 by mernst Member Loading…
13
Ensure soundness of StructuralEqualityComparer
#8071 opened Aug 29, 2026 by junho0831 Loading…
1
@junho0831
4
Support IntelliJ IDEA external annotations (annotations.xml); fixes #6258
#8045 opened Aug 23, 2026 by ceasermikes002 Loading…
1 task done
@mernst
44
Check @SideEffectsOnly on overrides and method references
#8040 opened Aug 21, 2026 by mernst Member Loading…
6
Check a method body against its @SideEffectsOnly annotation
#8039 opened Aug 21, 2026 by mernst Member Loading…
@smillst
12
Type inference: an equality constraint between proper types compares qualifiers
#7985 opened Aug 14, 2026 by mernst Member Loading…
1
@smillst
7
RLC extension for resource collection
#7602 opened Mar 31, 2026 by iamsanjaymalakar Member Loading…
@iamsanjaymalakar
327
Add Resource Leak Checker tests for JDBC and RowSet resource types
#7480 opened Feb 6, 2026 by parameshn Loading…
@parameshn
21
Fix false-negative when overriding method type-parameter bounds
#7467 opened Jan 30, 2026 by Suvrat1629 Loading…
1
6
Filter dependent type annotations referencing out-of-scope local vari…
#7448 opened Jan 19, 2026 by shubhamk0205 Contributor Loading…
@shubhamk0205
15
Fix NPE in CFAbstractValue
#7428 opened Dec 27, 2025 by Suvrat1629 Loading…
1
@Suvrat1629
16
Fix interaction between @NotOnlyInitialized and @UnderInitialization
#7426 opened Dec 20, 2025 by PraneethKulukuri26 Loading…
1
4
Enhancement #5666: enhancing report with adding Sarif Report(POC)
#7408 opened Dec 3, 2025 by Gaoyan1999 Contributor Loading…
37
Added confidential checker
#6981 opened Mar 3, 2025 by iywang2016 Contributor Loading…
46
Fix WPI Non-Termination Issue with @UnknownInitialization Annotations
#6657 opened Jun 6, 2024 by erfan-arvan Loading…
@erfan-arvan
35
ProTip! Filter pull requests by the default branch with base:master.