Dataflow is a dataflow framework based on the javac compiler.

The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs.