Dataflow is a dataflow framework based on the javac compiler.
'org.checkerframework:dataflow:1.9.4'
<dependency>
<groupId>org.checkerframework</groupId>
<artifactId>dataflow</artifactId>
<version>1.9.4</version>
</dependency>
<dependency org="org.checkerframework" name="dataflow" rev="1.9.4"/>
"org.checkerframework", "dataflow", "1.9.4"