Skip to content

Pull requests: typetools/checker-framework

New pull request New
36 Open 5,442 Closed
36 Open 5,442 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

Update cimg/base Docker tag to v2026.03
#7526 opened Mar 1, 2026 by renovate bot Loading…
1 task
Print error key in brackets
#7525 opened Mar 1, 2026 by mernst Loading…
@smillst
Update plugin com-gradleup-shadow to v9.3.2
#7520 opened Feb 28, 2026 by renovate bot Loading…
1 task
Show details of the error message in test failures
#7513 opened Feb 25, 2026 by mernst Loading…
@smillst
28
Clone the JDK using the same fork and branch as CF
#7491 opened Feb 17, 2026 by smillst Loading…
@smillst
105
Add Resource Leak Checker tests for JDBC and RowSet resource types
#7480 opened Feb 6, 2026 by parameshn Loading…
11
Fix false-negative when overriding method type-parameter bounds
#7467 opened Jan 30, 2026 by Suvrat1629 Loading…
1
4
Filter dependent type annotations referencing out-of-scope local vari…
#7448 opened Jan 19, 2026 by shubhamk0205 Loading…
@smillst
14
Fix NPE in AtmLubVisitor for captured types in switch expressions
#7435 opened Jan 6, 2026 by Suvrat1629 Loading…
1
@Suvrat1629
3
Fix: Report unboxing.of.nullable in conditional expressions with primitive result
#7433 opened Jan 3, 2026 by Suvrat1629 Loading…
1
@smillst
4
Nullness Checker: strengthen containment checks for invariant type parameters with nullness qualifiers
#7430 opened Dec 31, 2025 by Suvrat1629 Loading…
1
@smillst
7
DoubleJavacVisitor walks two javac ASTs in lockstep
#7429 opened Dec 29, 2025 by avenger2597 Loading…
@avenger2597
148
Fix NPE in CFAbstractValue
#7428 opened Dec 27, 2025 by Suvrat1629 Loading…
1
@Suvrat1629
14
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 Loading…
18
Call extend only once
#7234 opened Aug 31, 2025 by mernst Loading…
10
Extend RLC to collections of resources
#7166 opened Jul 23, 2025 by skehrli Loading…
@skehrli
228
Suppresses RLC non-final field overwrite warning for safe constructor field initialization
#7050 opened Apr 18, 2025 by iamsanjaymalakar Loading…
@iamsanjaymalakar
113
Fix UtilCheckerFuzzer: Security exception Update I18nFormatUtil.java
#7031 opened Apr 10, 2025 by Shivam7-1 Loading…
4
Fix RLC unsoundness with explicit @MustCallUnknown annotation
#6994 opened Mar 20, 2025 by kelloggm Loading…
1
6
Added confidential checker
#6981 opened Mar 3, 2025 by iywang2016 Loading…
6
Support adding declaration annotation aliases using annotation names
#6861 opened Oct 12, 2024 by mernst Loading…
@smillst
Support DefaultQualifiers that do not apply to subpackages
#6860 opened Oct 12, 2024 by mernst Loading…
@smillst
Boolean variables in dataflow
#6797 opened Sep 12, 2024 by smillst Loading…
1
@smillst
7
Fix WPI Non-Termination Issue with @UnknownInitialization Annotations
#6657 opened Jun 6, 2024 by erfan-arvan Loading…
@erfan-arvan
21
ProTip! Filter pull requests by the default branch with base:master.