https://github.com/typetools/checker-framework
Pluggable type-checking for Java
https://github.com/typetools/checker-framework
java types verification
Last synced: 8 months ago
JSON representation
Pluggable type-checking for Java
- Host: GitHub
- URL: https://github.com/typetools/checker-framework
- Owner: typetools
- License: other
- Created: 2015-07-03T11:09:17.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2024-05-22T22:17:06.000Z (over 1 year ago)
- Last Synced: 2024-05-22T22:19:16.188Z (over 1 year ago)
- Topics: java, types, verification
- Language: Java
- Homepage: http://checkerframework.org/
- Size: 223 MB
- Stars: 989
- Watchers: 42
- Forks: 347
- Open Issues: 361
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE.txt
Awesome Lists containing this project
- awesome-java - Checker Framework
- fucking-static-analysis - Dataflow Framework - strength dataflow framework for Java. The Dataflow Framework is used in the Checker Framework, Google’s Error Prone, Uber’s NullAway, Meta’s Nullsafe, and in other contexts. It is distributed with the Checker Framework. (Programming Languages)
- static-analysis - Dataflow Framework - strength dataflow framework for Java. The Dataflow Framework is used in the Checker Framework, Google’s Error Prone, Uber’s NullAway, Meta’s Nullsafe, and in other contexts. It is distributed with the Checker Framework. (Programming Languages)