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.

IDE Extensions

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.

Contact

Please address your questions and comments to Werner Dietl.