4.0.0 jar org.checkerframework dataflow 3.3.0 org.checkerframework checker-qual 3.3.0 jar org.checkerframework javacutil 3.3.0 jar Dataflow https://checkerframework.org Dataflow is a dataflow framework based on the javac compiler. GNU General Public License, version 2 (GPL2), with the classpath exception http://www.gnu.org/software/classpath/license.html repo https://github.com/typetools/checker-framework.git https://github.com/typetools/checker-framework.git mernst Michael Ernst mernst@cs.washington.edu https://homes.cs.washington.edu/~mernst/ University of Washington https://www.cs.washington.edu/ wmdietl Werner M. Dietl wdietl@uwaterloo.ca University of Waterloo http://uwaterloo.ca/ smillst Suzanne Millstein smillst@cs.washington.edu University of Washington https://www.cs.washington.edu/research/plse/