org.checkerframework:dataflow (maven): Dataflow is a dataflow framework based on the javac compiler.
Keywords: java|types|verification