Enforcing, Inferring, and Synthesizing Optional Properties (EISOP) Framework
The Enforcing, Inferring, and Synthesizing Optional Properties (EISOP) Framework project aims to provide a unified framework for optional properties in Java.
Documentation can be found on the EISOP Checker Framework homepage.
Releases can be downloaded from GitHub and Maven Central.
Development occurs in the EISOP Checker Framework GitHub project. The focus in this fork is on soundness and usability. One (closed-source) user of the EISOP Dataflow Framework reported a 10 percent reduction in false positives compared to the typetools Dataflow Framework.
Related projects and tools
More research results can be found on a separate page.
The javac diagnostics wrapper is a wrapper around javac to output diagnostics in an easily-configurable way.
We provide several integrations for the EISOP Framework:
- Checker Framework Language Server
- Checker Framework for VS Code
- Checker Framework instructions for IntelliJ IDEA
- Checker Framework Support for Eclipse
Checker Framework Live Demo
To experience the Checker Framework from within your browser, see our Checker Framework Live Demo. Source Code.
Please address your questions and comments to Werner Dietl.