4.0.0 jar org.checkerframework dataflow-shaded 3.7.1 Dataflow (shaded) https://checkerframework.org Dataflow is a dataflow framework based on the javac compiler. The packages in this artifact have been renamed to org.checkerframework.shaded.*. (Unlike the dataflow artifact, this artifact contains the dependencies it requires.) 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/