4.0.0 jar 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.*. org.checkerframework dataflow-shaded GNU General Public License, version 2 (GPL2), with the classpath exception http://www.gnu.org/software/classpath/license.html repo The MIT License http://opensource.org/licenses/MIT repo 3.1.2 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 PLSE Group https://www.cs.washington.edu/research/plse/