You can download dataflow-1.8.10.jar in this page.
GNU General Public License, version 2 (GPL2), with the classpath exception
dataflow-1.8.10.jar file has the following types.
META-INF/MANIFEST.MF org.checkerframework.dataflow.analysis.AbstractValue.class org.checkerframework.dataflow.analysis.Analysis.class org.checkerframework.dataflow.analysis.AnalysisResult.class org.checkerframework.dataflow.analysis.ConditionalTransferResult.class org.checkerframework.dataflow.analysis.FlowExpressions.class org.checkerframework.dataflow.analysis.RegularTransferResult.class org.checkerframework.dataflow.analysis.Store.class org.checkerframework.dataflow.analysis.TransferFunction.class org.checkerframework.dataflow.analysis.TransferInput.class org.checkerframework.dataflow.analysis.TransferResult.class org.checkerframework.dataflow.cfg.CFGBuilder.class org.checkerframework.dataflow.cfg.CFGDOTVisualizer.class org.checkerframework.dataflow.cfg.ControlFlowGraph.class org.checkerframework.dataflow.cfg.JavaSource2CFGDOT.class org.checkerframework.dataflow.cfg.UnderlyingAST.class org.checkerframework.dataflow.cfg.block.Block.class org.checkerframework.dataflow.cfg.block.BlockImpl.class org.checkerframework.dataflow.cfg.block.ConditionalBlock.class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl.class org.checkerframework.dataflow.cfg.block.ExceptionBlock.class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl.class org.checkerframework.dataflow.cfg.block.RegularBlock.class org.checkerframework.dataflow.cfg.block.RegularBlockImpl.class org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock.class org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl.class org.checkerframework.dataflow.cfg.block.SpecialBlock.class org.checkerframework.dataflow.cfg.block.SpecialBlockImpl.class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor.class org.checkerframework.dataflow.cfg.node.ArrayAccessNode.class org.checkerframework.dataflow.cfg.node.ArrayCreationNode.class org.checkerframework.dataflow.cfg.node.ArrayTypeNode.class org.checkerframework.dataflow.cfg.node.AssertionErrorNode.class org.checkerframework.dataflow.cfg.node.AssignmentContext.class org.checkerframework.dataflow.cfg.node.AssignmentNode.class org.checkerframework.dataflow.cfg.node.BitwiseAndNode.class org.checkerframework.dataflow.cfg.node.BitwiseComplementNode.class org.checkerframework.dataflow.cfg.node.BitwiseOrNode.class org.checkerframework.dataflow.cfg.node.BitwiseXorNode.class org.checkerframework.dataflow.cfg.node.BooleanLiteralNode.class org.checkerframework.dataflow.cfg.node.CaseNode.class org.checkerframework.dataflow.cfg.node.CharacterLiteralNode.class org.checkerframework.dataflow.cfg.node.ClassNameNode.class org.checkerframework.dataflow.cfg.node.ConditionalAndNode.class org.checkerframework.dataflow.cfg.node.ConditionalNotNode.class org.checkerframework.dataflow.cfg.node.ConditionalOrNode.class org.checkerframework.dataflow.cfg.node.DoubleLiteralNode.class org.checkerframework.dataflow.cfg.node.EqualToNode.class org.checkerframework.dataflow.cfg.node.ExplicitThisLiteralNode.class org.checkerframework.dataflow.cfg.node.FieldAccessNode.class org.checkerframework.dataflow.cfg.node.FloatLiteralNode.class org.checkerframework.dataflow.cfg.node.FloatingDivisionNode.class org.checkerframework.dataflow.cfg.node.FloatingRemainderNode.class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode.class org.checkerframework.dataflow.cfg.node.GreaterThanNode.class org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode.class org.checkerframework.dataflow.cfg.node.ImplicitThisLiteralNode.class org.checkerframework.dataflow.cfg.node.InstanceOfNode.class org.checkerframework.dataflow.cfg.node.IntegerDivisionNode.class org.checkerframework.dataflow.cfg.node.IntegerLiteralNode.class org.checkerframework.dataflow.cfg.node.IntegerRemainderNode.class org.checkerframework.dataflow.cfg.node.LeftShiftNode.class org.checkerframework.dataflow.cfg.node.LessThanNode.class org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode.class org.checkerframework.dataflow.cfg.node.LocalVariableNode.class org.checkerframework.dataflow.cfg.node.LongLiteralNode.class org.checkerframework.dataflow.cfg.node.MarkerNode.class org.checkerframework.dataflow.cfg.node.MethodAccessNode.class org.checkerframework.dataflow.cfg.node.MethodInvocationNode.class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode.class org.checkerframework.dataflow.cfg.node.Node.class org.checkerframework.dataflow.cfg.node.NodeVisitor.class org.checkerframework.dataflow.cfg.node.NotEqualNode.class org.checkerframework.dataflow.cfg.node.NullChkNode.class org.checkerframework.dataflow.cfg.node.NullLiteralNode.class org.checkerframework.dataflow.cfg.node.NumericalAdditionNode.class org.checkerframework.dataflow.cfg.node.NumericalMinusNode.class org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode.class org.checkerframework.dataflow.cfg.node.NumericalPlusNode.class org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode.class org.checkerframework.dataflow.cfg.node.ObjectCreationNode.class org.checkerframework.dataflow.cfg.node.PackageNameNode.class org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode.class org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode.class org.checkerframework.dataflow.cfg.node.ReturnNode.class org.checkerframework.dataflow.cfg.node.ShortLiteralNode.class org.checkerframework.dataflow.cfg.node.SignedRightShiftNode.class org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode.class org.checkerframework.dataflow.cfg.node.StringConcatenateNode.class org.checkerframework.dataflow.cfg.node.StringConversionNode.class org.checkerframework.dataflow.cfg.node.StringLiteralNode.class org.checkerframework.dataflow.cfg.node.SuperNode.class org.checkerframework.dataflow.cfg.node.SynchronizedNode.class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode.class org.checkerframework.dataflow.cfg.node.ThisLiteralNode.class org.checkerframework.dataflow.cfg.node.ThrowNode.class org.checkerframework.dataflow.cfg.node.TypeCastNode.class org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode.class org.checkerframework.dataflow.cfg.node.ValueLiteralNode.class org.checkerframework.dataflow.cfg.node.VariableDeclarationNode.class org.checkerframework.dataflow.cfg.node.WideningConversionNode.class org.checkerframework.dataflow.cfg.playground.ConstantPropagationPlayground.class org.checkerframework.dataflow.constantpropagation.Constant.class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore.class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer.class org.checkerframework.dataflow.qual.Deterministic.class org.checkerframework.dataflow.qual.LockingFree.class org.checkerframework.dataflow.qual.Pure.class org.checkerframework.dataflow.qual.SideEffectFree.class org.checkerframework.dataflow.qual.TerminatesExecution.class org.checkerframework.dataflow.util.HashCodeUtils.class org.checkerframework.dataflow.util.MostlySingleton.class org.checkerframework.dataflow.util.NodeUtils.class org.checkerframework.dataflow.util.PurityChecker.class org.checkerframework.dataflow.util.PurityUtils.class
dataflow-1.8.10.pom file content.
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
<modelVersion>4.0.0</modelVersion>
<packaging>jar</packaging>
<name>Dataflow</name>
<url>http://checkerframework.org</url>
<description>
Dataflow is a dataflow framework based on the javac compiler.
</description>
<groupId>org.checkerframework</groupId>
<artifactId>dataflow</artifactId>
<licenses>
<license>
<name>GNU General Public License, version 2 (GPL2), with the classpath exception</name>
<url>http://www.gnu.org/software/classpath/license.html</url>
<distribution>repo</distribution>
</license>
<license>
<name>The MIT License</name>
<url>http://opensource.org/licenses/MIT</url>
<distribution>repo</distribution>
</license>
</licenses>
<dependencies>
<dependency>
<groupId>org.checkerframework</groupId>
<artifactId>javacutil</artifactId>
<version><!-- checker-framework-version -->1.8.10<!-- /checker-framework-version --></version>
<type>jar</type>
</dependency>
</dependencies>
<!-- The comments in the version number are used to do a text substitution. Don't remove them.
See checker-framework/bin/poms/updateVersion.sh -->
<version><!-- checker-framework-version -->1.8.10<!-- /checker-framework-version --></version>
<scm>
<url>https://code.google.com/p/checker-framework/</url>
<connection>https://code.google.com/p/checker-framework/</connection>
</scm>
<developers>
<developer>
<id>Michael Ernst <mernst@cs.washington.edu></id>
<name>Michael Ernst</name>
<email>mernst@cs.washington.edu</email>
<url>http://homes.cs.washington.edu/~mernst/</url>
<organization>University of Washington</organization>
<organizationUrl>https://www.cs.washington.edu/</organizationUrl>
</developer>
<developer>
<id>wmdietl</id>
<name>Werner M. Dietl</name>
<email>wdietl@uwaterloo.ca</email>
<organization>University of Waterloo</organization>
<organizationUrl>http://uwaterloo.ca/</organizationUrl>
</developer>
<developer>
<id>Suzanne Millstein <smillst@cs.washington.edu></id>
<name>Suzanne Millstein</name>
<email>smillst@cs.washington.edu</email>
<organization>University of Washington PLSE Group</organization>
<organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>
</developer>
<developer>
<id>David McArthur <mcarthur@cs.washington.edu<</id>
<name>David McArthur</name>
<email>mcarthur@cs.washington.edu</email>
<organization>University of Washington PLSE Group</organization>
<organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>
</developer>
<developer>
<id>Javier Thaine <jthaine@cs.washington.edu<</id>
<name>David McArthur</name>
<email>jthaine@cs.washington.edu</email>
<organization>University of Washington PLSE Group</organization>
<organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>
</developer>
<developer>
<id>Dan Brown <dbro@cs.washington.edu<</id>
<name>Dan Brown</name>
<email>dbro@cs.washington.edu</email>
<organization>University of Washington PLSE Group</organization>
<organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>
</developer>
<developer>
<id>jonathangburke@gmail.com</id>
<name>Jonathan G. Burke</name>
<email>jburke@cs.washington.edu</email>
<organization>University of Washington PLSE Group</organization>
<organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>
</developer>
</developers>
</project>
<dependency> <groupId>org.checkerframework</groupId> <artifactId>dataflow</artifactId> <version>1.8.10</version> </dependency>
If you think the following dataflow-1.8.10.jar downloaded from Maven central repository is inappropriate, such as containing malicious code/tools or violating the copyright, please email , thanks.
Download dataflow-1.8.10.jar file