Skip to content

Pull requests: typetools/checker-framework

New pull request New
30 Open 5,576 Closed
30 Open 5,576 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

Temporarily commented out Daikon in CI until Daikon release 5.8.24
#7657 opened Apr 23, 2026 by mernst Member Loading…
6
Keep the module-info when generating checker-qual-android
#7653 opened Apr 20, 2026 by marko-bekhta Loading…
@smillst
4
Add buildSrc to tags task.
#7632 opened Apr 10, 2026 by smillst Member Loading…
@mernst
11
Move jtregJdk11 test to jtreg directory.
#7606 opened Apr 1, 2026 by smillst Member Loading…
@mernst
7
RLC extension for resource collection
#7602 opened Mar 31, 2026 by iamsanjaymalakar Member Loading…
@iamsanjaymalakar
93
Add Resource Leak Checker tests for JDBC and RowSet resource types
#7480 opened Feb 6, 2026 by parameshn Loading…
@parameshn
12
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: Report unboxing.of.nullable in conditional expressions with primitive result
#7433 opened Jan 3, 2026 by Suvrat1629 Loading…
1
@Suvrat1629
9
Nullness Checker: strengthen containment checks for invariant type parameters with nullness qualifiers
#7430 opened Dec 31, 2025 by Suvrat1629 Loading…
1
@smillst
19
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…
18
Suppresses RLC non-final field overwrite warning for safe constructor field initialization
#7050 opened Apr 18, 2025 by iamsanjaymalakar Member Loading…
@mernst @iamsanjaymalakar
174
Fix RLC unsoundness with explicit @MustCallUnknown annotation
#6994 opened Mar 20, 2025 by kelloggm Contributor Loading…
1
@mernst
9
Added confidential checker
#6981 opened Mar 3, 2025 by iywang2016 Contributor Loading…
33
Support adding declaration annotation aliases using annotation names
#6861 opened Oct 12, 2024 by mernst Member Loading…
@smillst
Support DefaultQualifiers that do not apply to subpackages
#6860 opened Oct 12, 2024 by mernst Member Loading…
@smillst
Boolean variables in dataflow
#6797 opened Sep 12, 2024 by smillst Member Loading…
1
@smillst
7
Fix WPI Non-Termination Issue with @UnknownInitialization Annotations
#6657 opened Jun 6, 2024 by erfan-arvan Loading…
@erfan-arvan
35
Add Delegation Checker
#6609 opened May 19, 2024 by jyoo980 Contributor • Draft
8
Don't output top annotations to .ajava files
#6432 opened Jan 30, 2024 by mernst Member Loading…
@kelloggm @smillst
5
Issue error if top is used in a contract annotation
#6429 opened Jan 30, 2024 by mernst Member Loading…
@smillst
10
Warn when using the top type in a pre- or post-condition annotation
#6412 opened Jan 22, 2024 by mernst Member Loading…
@mernst
10
Don't write irrelevant annotations in .ajava files
#6254 opened Oct 22, 2023 by mernst Member Loading…
1
@mernst
12
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.