An ongoing research Java Enhancement Proposal was initiated in the summer of 2013 as an exploratory measure and future support for a full Java Enhancement Proposal to empower developers to define extensions that can, at compile time, conduct the arbitrary static analysis. The research is to see how a pluggable static type analyzer framework can be implemented for the Java Compiler.
The goals of the research are as follows:
- Collect static analyzer requirements
- Analyze static analyzers
- Determine the requirements for a framework that supports static analyzers
- Implement and test
The final outcome of the ongoing research will be either to submit a feature Java Enhancement Proposal or to make the recommendation that ...