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)