dataflow-shaded is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First, the packages in this artifact have been renamed to org.checkerframework.shaded.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.

Latest Versions

82 versions โ†’
VersionVulnerabilitiesUsagesDate
4.1.x
4.1.0
0
May 01, 2026
4.0.x
4.0.0
0
Apr 07, 2026
3.55.x
3.55.1
0
Apr 03, 2026
3.54.x
3.54.1
0
Apr 02, 2026
3.54.0
0
Mar 02, 2026
3.53.x
3.53.1
0
Feb 02, 2026
3.53.0
0
Jan 06, 2026
3.52.x
3.52.1
0
Dec 02, 2025
3.52.0
0
Nov 04, 2025
3.51.x
3.51.1
0
Oct 01, 2025
3.51.0
0
Sep 10, 2025
3.50.x
3.50.0
0
Aug 28, 2025
3.49.x
3.49.5
0
Jun 30, 2025
3.49.4
0
Jun 02, 2025
3.49.3
0
May 02, 2025
3.48.x
3.48.4
0
Jan 02, 2025
3.48.3
0
Dec 02, 2024
3.48.2
0
Nov 01, 2024
82 versions โ†’