Thank you for contributing to the Checker Framework! This project is a community effort of more than 110 developers, plus countless more people who have contributed bug reports and feature suggestions. We couldn't do it without your help.
Please see the bug reporting section of the Checker Framework manual.
If the documentation is incorrect, incomplete, or confusing, that is a bug, and we want to fix it. Please report it.
Please see the pull requests section of the Developer Manual.
Submit changes to the annotated JDK at https://github.com/typetools/jdk/pulls . Annotations for other libraries can be contributed as stub files in this repository, in a fork of the library in https://github.com/typetools/, or in the library's own repository.
Do you want to contribute to the project, but you are not sure what issue to fix or what feature to add? Use the tool in your daily work, and when you encounter a limitation that bothers you, fix that one. The “help wanted” label marks issues that require less deep knowledge and may be appropriate for a newcomer to the codebase.
By contributing, you agree that your contributions will be licensed under the existing license, usually GPL2 or MIT License.
When interacting with other people, please abide by the Contributor Covenant.