This repository contains information related to the tool Checker Framework presented in the International Conference on Software Engineering, 2010. The tool was originally presented in this paper.
This repository IS NOT the original repository for this tool. Here are some links to the original project:
- The Official Project Page, including source code.
- The Tool on the CommandLine.
- The Tool as an Eclipse Plugin.
- Tutorial.
- A Video of the Tool.
In this repository, for CheckerFramework you will find:
- ✅ Source code (available)
- ✅ Eclipse Plugin for the original tool (available)
- ✅ Binaries (available)
- ✅ Virtual Machine with the tool installed and working.
- ✅ Virtual Machine's Vagrant Script
This repository was constructed by Kahan Prabhu under the supervision of Emerson Murphy-Hill.