Checker Framework


Checker Framework

The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence. It also permits you to write...

Versión Repositorio Usos Fecha
3.9.x 3.9.1 central ene. 13, 2021
3.9.0 central ene. 04, 2021
3.8.x 3.8.0 central dic. 01, 2020
3.7.x 3.7.1 central nov. 02, 2020
3.43.x 3.43.0 central may. 01, 2024
3.42.x 3.42.0 central dic. 15, 2023
3.40.x 3.40.0 central nov. 01, 2023
3.37.x 3.37.0 central
3.36.x 3.36.0 central jul. 03, 2023
3.35.x 3.35.0 central
3.25.x 3.25.0 central
3.21.x 3.21.2 central
3.21.1 central
3.18.x 3.18.1 central oct. 04, 2021
3.18.0 central sept. 01, 2021
3.17.x 3.17.0 central ago. 02, 2021
3.16.x 3.16.0 central jul. 13, 2021
3.15.x 3.15.0 central jun. 18, 2021
3.14.x 3.14.0 central jun. 01, 2021
3.13.x 3.13.0 central may. 03, 2021
3.12.x 3.12.0 central abr. 01, 2021
3.11.x 3.11.0 central mar. 01, 2021
3.10.x 3.10.0 central feb. 01, 2021
3.1.x 3.1.0 central ene. 03, 2020
3.0.x 3.0.1 central dic. 02, 2019
3.0.0 central nov. 01, 2019
2.9.x 2.9.0 central jul. 03, 2019
2.8.x 2.8.0 central abr. 03, 2019
2.7.x 2.7.0 central mar. 02, 2019
2.6.x 2.6.0 central feb. 03, 2019
2.5.x 2.5.8 central dic. 05, 2018
2.5.6 central oct. 03, 2018
2.5.5 central ago. 31, 2018
2.5.4 central ago. 02, 2018
2.5.3 central jul. 02, 2018
2.5.2 central jun. 01, 2018
2.5.1 central may. 01, 2018
2.5.0 central abr. 02, 2018
2.4.x 2.4.0 central mar. 01, 2018
2.3.x 2.3.2 central feb. 01, 2018
2.3.1 central ene. 02, 2018
2.3.0 central dic. 01, 2017
2.2.x 2.2.2 central nov. 02, 2017
2.2.1 central sept. 29, 2017
2.2.0 central sept. 06, 2017
2.11.x 2.11.1 central oct. 01, 2019
2.11.0 central ago. 31, 2019
2.10.x 2.10.1 central ago. 22, 2019
2.10.0 central ago. 01, 2019
2.1.x 2.1.14 central ago. 03, 2017
2.1.13 central jul. 03, 2017
2.1.12 central jun. 01, 2017
2.1.11 central may. 01, 2017
2.1.10 central abr. 03, 2017
2.1.9 central mar. 01, 2017
2.1.8 central ene. 20, 2017
2.1.7 central ene. 03, 2017
2.1.6 central dic. 01, 2016
2.1.5 central nov. 02, 2016
2.1.4 central oct. 03, 2016
2.1.3 central sept. 16, 2016
2.1.2 central sept. 01, 2016
2.1.1 central ago. 01, 2016
2.1.0 central jul. 01, 2016
2.0.x 2.0.1 central jun. 01, 2016
2.0.0 central may. 03, 2016
1.9.x 1.9.13 central abr. 01, 2016
1.9.12 central mar. 04, 2016
1.9.11 central feb. 02, 2016
1.9.10 central ene. 05, 2016
1.9.9 central dic. 03, 2015
1.9.8 central nov. 10, 2015
1.9.7 central oct. 24, 2015
1.9.6 central oct. 08, 2015
1.9.5 central sept. 02, 2015
1.9.4 central ago. 04, 2015
1.9.3 central jul. 01, 2015
1.9.2 central jun. 01, 2015
1.9.1 central may. 01, 2015
1.9.0 central abr. 18, 2015
1.8.x 1.8.11 central mar. 02, 2015
1.8.10 central ene. 30, 2015
1.8.9 central dic. 20, 2014
1.8.8 central nov. 26, 2014
1.8.7 central oct. 30, 2014
1.8.6 central sept. 25, 2014
1.8.5 central ago. 29, 2014
1.8.4 central ago. 01, 2014
1.8.3 central jul. 01, 2014
1.8.2 central jun. 02, 2014
1.8.1 central may. 02, 2014
1.8.0 central abr. 03, 2014