Skip to content

Pull requests: eisop/checker-framework

New pull request New
45 Open 1,047 Closed
45 Open 1,047 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

Check that modern APIs are used
#1342 opened Jul 15, 2025 by wmdietl Loading…
@thisisalexandercook
1
Bump io.freefair.lombok from 8.12.1 to 8.14 in /docs/examples/lombok dependencies Pull requests that update a dependency file java Pull requests that update Java code
#1337 opened Jul 15, 2025 by dependabot bot Loading…
Bump org.plumelib:options from 1.0.6 to 2.0.3 dependencies Pull requests that update a dependency file java Pull requests that update Java code
#1336 opened Jul 15, 2025 by dependabot bot Loading…
Refactor cache to determine if an element is annotatedfor
#1331 opened Jul 10, 2025 by Ao-senXiong • Draft
Support empty array fields for toArray(T[] a) args
#1319 opened Jul 7, 2025 by thisisalexandercook Loading…
1
4
Annotation sub package crash example
#1318 opened Jul 5, 2025 by ShahriarAhnaf Loading…
1
@ShahriarAhnaf
8
No bytecode storage
#1305 opened Jul 1, 2025 by Ao-senXiong • Draft
Introduce @NullMarked aliasing
#1304 opened Jul 1, 2025 by Ao-senXiong • Draft
1
Add onlyAnnotatedFor flag
#1290 opened Jun 26, 2025 by Ao-senXiong Loading…
1
@Ao-senXiong
23
Fail fast for ErroneousTree
#1255 opened Jun 11, 2025 by Ao-senXiong • Draft
Fix initialization annotation of outer receiver with explicit annotation
#1253 opened Jun 10, 2025 by byd110 Loading…
1
@byd110
14
java.lang.classfile API support for jtreg nullness tests
#1235 opened May 28, 2025 by thisisalexandercook Loading…
1
@thisisalexandercook
6
Add new test case for NotOnlyInitialized
#1224 opened May 15, 2025 by byd110 Loading…
1
@byd110
1
Fix: typecheck framework with nullness
#1222 opened May 14, 2025 by Ao-senXiong • Draft
1
@Ao-senXiong
1
Viewpoint test checker: lost receiver invoke poly receiver method
#1173 opened Apr 5, 2025 by Ao-senXiong • Draft
@Ao-senXiong
Implement PolyNull with element value
#1157 opened Mar 19, 2025 by Ao-senXiong • Draft
1
2
Typecheck jdk with nullness checker
#1145 opened Mar 13, 2025 by Ao-senXiong • Draft
4
Correctly substitue poly qualifier from type argument bounds
#1078 opened Jan 30, 2025 by Ao-senXiong Loading…
1
@Ao-senXiong
3
Forbid annotations on supertype
#1068 opened Jan 22, 2025 by Ao-senXiong Loading…
1
@Ao-senXiong
14
Improve cast warnings/errors logic
#1049 opened Jan 5, 2025 by Ao-senXiong Loading…
@Ao-senXiong
10
Adapt type use based on class bound
#1032 opened Dec 23, 2024 by Ao-senXiong Loading…
@Ao-senXiong
11
Improve documentation by link getUpstreamCheckerNames and getSuppressWarningsPrefixes
#1016 opened Dec 12, 2024 by Ao-senXiong Loading…
1
@Ao-senXiong
2
Move PICO to EISOP
#1013 opened Dec 9, 2024 by Ao-senXiong Loading…
@Ao-senXiong
36
Add type as part of target location
#972 opened Nov 7, 2024 by Ao-senXiong Loading…
@Ao-senXiong
4
Invoke viewpoint adapter at correct place
#903 opened Sep 9, 2024 by Ao-senXiong Loading…
@Ao-senXiong
2
ProTip! Exclude everything labeled bug with -label:bug.