dataflow-2.8.2

Dataflow is a dataflow framework based on the javac compiler.
点击查看dataflow的另外58个版本信息


概述

项目名称 Dataflow
项目地址 https://checkerframework.org
开源协议 GNU General Public License, version 2 (GPL2), with the classpath exception The MIT License
发布时间 2019-06-04 01:36:37
文件集 dataflow-2.8.2 查看全部文件
中央仓库 dataflow-2.8.2.jar 下载地址1 dataflow-2.8.2-sources.jar 源码下载地址1
备用仓库1 dataflow-2.8.2.jar 下载地址2 dataflow-2.8.2-sources.jar 源码下载地址2
备用仓库2 dataflow-2.8.2.jar 下载地址3 dataflow-2.8.2-sources.jar 源码下载地址3
阿里云仓库 dataflow-2.8.2.jar 下载地址4 dataflow-2.8.2-sources.jar 源码下载地址4
Apache Maven Gradle/Grails Scala SBT Ivy Groovy Grape Leiningen Apache Buildr

研发人员

编号 名称 邮箱 网址
mernst Michael Ernst mernst@cs.washington.edu https://homes.cs.washington.edu/~mernst/
wmdietl Werner M. Dietl wdietl@uwaterloo.ca
smillst Suzanne Millstein smillst@cs.washington.edu

依赖项目

开发团队 项目名称 版本 作用域
org.checkerframework checker-qual 2.8.2
org.checkerframework javacutil 2.8.2

包含类文件

文件名称
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.CFGVisualizer.class
org.checkerframework.dataflow.cfg.ControlFlowGraph.class
org.checkerframework.dataflow.cfg.DOTCFGVisualizer.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.BinaryOperationNode.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.ClassDeclarationNode.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.LambdaResultExpressionNode.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.UnaryOperationNode.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.Pure.class
org.checkerframework.dataflow.qual.SideEffectFree.class
org.checkerframework.dataflow.qual.TerminatesExecution.class
org.checkerframework.dataflow.util.AbstractMostlySingleton.class
org.checkerframework.dataflow.util.IdentityMostlySingleton.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