jar

org.checkerframework : dataflow

Maven & Gradle

Aug 01, 2023
11 usages
1k stars

Dataflow · Dataflow is a dataflow framework based on the javac compiler.

Table Of Contents

Latest Version

Download org.checkerframework : dataflow JAR file - Latest Versions:

All Versions

Download org.checkerframework : dataflow JAR file - All Versions:

Version Vulnerabilities Size Updated
3.37.x
3.36.x
3.35.x
3.34.x
3.33.x
3.32.x
3.31.x
3.30.x
3.29.x
3.28.x
3.27.x
3.26.x
3.25.x
3.24.x
3.23.x
3.22.x
3.21.x
3.20.x
3.19.x
3.18.x
3.17.x
3.16.x
3.15.x
3.14.x
3.13.x
3.12.x
3.11.x
3.10.x
3.9.x
3.8.x
3.7.x
3.6.x
3.5.x
3.4.x
3.3.x
3.2.x
3.1.x
3.0.x
2.11.x
2.10.x
2.9.x
2.8.x
2.7.x
2.6.x
2.5.x
2.4.x
2.3.x
2.2.x
2.1.x
2.0.x
1.9.x
1.8.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window dataflow-3.37.0.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

org.checkerframework.dataflow.cfg.builder

├─ org.checkerframework.dataflow.cfg.builder.CFGBuilder.class - [JAR]

├─ org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne.class - [JAR]

├─ org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree.class - [JAR]

├─ org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseTwo.class - [JAR]

├─ org.checkerframework.dataflow.cfg.builder.ConditionalJump.class - [JAR]

├─ org.checkerframework.dataflow.cfg.builder.ExtendedNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.builder.Label.class - [JAR]

├─ org.checkerframework.dataflow.cfg.builder.LabelCell.class - [JAR]

├─ org.checkerframework.dataflow.cfg.builder.MissingEdge.class - [JAR]

├─ org.checkerframework.dataflow.cfg.builder.NodeHolder.class - [JAR]

├─ org.checkerframework.dataflow.cfg.builder.NodeWithExceptionsHolder.class - [JAR]

├─ org.checkerframework.dataflow.cfg.builder.PhaseOneResult.class - [JAR]

├─ org.checkerframework.dataflow.cfg.builder.TreeInfo.class - [JAR]

├─ org.checkerframework.dataflow.cfg.builder.TryCatchFrame.class - [JAR]

├─ org.checkerframework.dataflow.cfg.builder.TryFinallyFrame.class - [JAR]

├─ org.checkerframework.dataflow.cfg.builder.TryFinallyScopeMap.class - [JAR]

├─ org.checkerframework.dataflow.cfg.builder.TryFrame.class - [JAR]

├─ org.checkerframework.dataflow.cfg.builder.TryStack.class - [JAR]

├─ org.checkerframework.dataflow.cfg.builder.UnconditionalJump.class - [JAR]

org.checkerframework.dataflow.expression

├─ org.checkerframework.dataflow.expression.ArrayAccess.class - [JAR]

├─ org.checkerframework.dataflow.expression.ArrayCreation.class - [JAR]

├─ org.checkerframework.dataflow.expression.BinaryOperation.class - [JAR]

├─ org.checkerframework.dataflow.expression.ClassName.class - [JAR]

├─ org.checkerframework.dataflow.expression.FieldAccess.class - [JAR]

├─ org.checkerframework.dataflow.expression.FormalParameter.class - [JAR]

├─ org.checkerframework.dataflow.expression.JavaExpression.class - [JAR]

├─ org.checkerframework.dataflow.expression.JavaExpressionConverter.class - [JAR]

├─ org.checkerframework.dataflow.expression.JavaExpressionScanner.class - [JAR]

├─ org.checkerframework.dataflow.expression.JavaExpressionVisitor.class - [JAR]

├─ org.checkerframework.dataflow.expression.LocalVariable.class - [JAR]

├─ org.checkerframework.dataflow.expression.MethodCall.class - [JAR]

├─ org.checkerframework.dataflow.expression.ThisReference.class - [JAR]

├─ org.checkerframework.dataflow.expression.UnaryOperation.class - [JAR]

├─ org.checkerframework.dataflow.expression.Unknown.class - [JAR]

├─ org.checkerframework.dataflow.expression.ValueLiteral.class - [JAR]

├─ org.checkerframework.dataflow.expression.ViewpointAdaptJavaExpression.class - [JAR]

org.checkerframework.dataflow.busyexpr

├─ org.checkerframework.dataflow.busyexpr.BusyExprStore.class - [JAR]

├─ org.checkerframework.dataflow.busyexpr.BusyExprTransfer.class - [JAR]

├─ org.checkerframework.dataflow.busyexpr.BusyExprValue.class - [JAR]

org.checkerframework.dataflow.cfg.node

├─ org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.ArrayAccessNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.ArrayCreationNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.ArrayTypeNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.AssertionErrorNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.AssignmentNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.BinaryOperationNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.BitwiseAndNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.BitwiseComplementNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.BitwiseOrNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.BitwiseXorNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.BooleanLiteralNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.CaseNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.CatchMarkerNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.CharacterLiteralNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.ClassDeclarationNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.ClassNameNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.ConditionalAndNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.ConditionalNotNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.ConditionalOrNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.DoubleLiteralNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.EqualToNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.ExplicitThisNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.ExpressionStatementNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.FieldAccessNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.FloatLiteralNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.FloatingDivisionNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.FloatingRemainderNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.GreaterThanNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.ImplicitThisNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.InstanceOfNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.IntegerDivisionNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.IntegerLiteralNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.IntegerRemainderNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.LeftShiftNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.LessThanNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.LocalVariableNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.LongLiteralNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.MarkerNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.MethodAccessNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.MethodInvocationNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.NarrowingConversionNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.Node.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.NodeVisitor.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.NotEqualNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.NullChkNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.NullLiteralNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.NumericalAdditionNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.NumericalMinusNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.NumericalPlusNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.ObjectCreationNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.PackageNameNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.ReturnNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.ShortLiteralNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.SignedRightShiftNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.StringConcatenateNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.StringConversionNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.StringLiteralNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.SuperNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.SwitchExpressionNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.SynchronizedNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.TernaryExpressionNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.ThisNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.ThrowNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.TypeCastNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.UnaryOperationNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.ValueLiteralNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.VariableDeclarationNode.class - [JAR]

├─ org.checkerframework.dataflow.cfg.node.WideningConversionNode.class - [JAR]

org.checkerframework.dataflow.util

├─ org.checkerframework.dataflow.util.NodeUtils.class - [JAR]

├─ org.checkerframework.dataflow.util.PurityChecker.class - [JAR]

├─ org.checkerframework.dataflow.util.PurityUtils.class - [JAR]

org.checkerframework.dataflow.livevariable

├─ org.checkerframework.dataflow.livevariable.LiveVarNode.class - [JAR]

├─ org.checkerframework.dataflow.livevariable.LiveVarStore.class - [JAR]

├─ org.checkerframework.dataflow.livevariable.LiveVarTransfer.class - [JAR]

org.checkerframework.dataflow.cfg.visualize

├─ org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer.class - [JAR]

├─ org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher.class - [JAR]

├─ org.checkerframework.dataflow.cfg.visualize.CFGVisualizeOptions.class - [JAR]

├─ org.checkerframework.dataflow.cfg.visualize.CFGVisualizer.class - [JAR]

├─ org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer.class - [JAR]

├─ org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer.class - [JAR]

org.checkerframework.dataflow.analysis

├─ org.checkerframework.dataflow.analysis.AbstractAnalysis.class - [JAR]

├─ org.checkerframework.dataflow.analysis.AbstractValue.class - [JAR]

├─ org.checkerframework.dataflow.analysis.Analysis.class - [JAR]

├─ org.checkerframework.dataflow.analysis.AnalysisResult.class - [JAR]

├─ org.checkerframework.dataflow.analysis.BackwardAnalysis.class - [JAR]

├─ org.checkerframework.dataflow.analysis.BackwardAnalysisImpl.class - [JAR]

├─ org.checkerframework.dataflow.analysis.BackwardTransferFunction.class - [JAR]

├─ org.checkerframework.dataflow.analysis.ConditionalTransferResult.class - [JAR]

├─ org.checkerframework.dataflow.analysis.ForwardAnalysis.class - [JAR]

├─ org.checkerframework.dataflow.analysis.ForwardAnalysisImpl.class - [JAR]

├─ org.checkerframework.dataflow.analysis.ForwardTransferFunction.class - [JAR]

├─ org.checkerframework.dataflow.analysis.RegularTransferResult.class - [JAR]

├─ org.checkerframework.dataflow.analysis.Store.class - [JAR]

├─ org.checkerframework.dataflow.analysis.TransferFunction.class - [JAR]

├─ org.checkerframework.dataflow.analysis.TransferInput.class - [JAR]

├─ org.checkerframework.dataflow.analysis.TransferResult.class - [JAR]

├─ org.checkerframework.dataflow.analysis.UnusedAbstractValue.class - [JAR]

org.checkerframework.dataflow.cfg

├─ org.checkerframework.dataflow.cfg.CFGProcessor.class - [JAR]

├─ org.checkerframework.dataflow.cfg.ControlFlowGraph.class - [JAR]

├─ org.checkerframework.dataflow.cfg.UnderlyingAST.class - [JAR]

org.checkerframework.dataflow.cfg.block

├─ org.checkerframework.dataflow.cfg.block.Block.class - [JAR]

├─ org.checkerframework.dataflow.cfg.block.BlockImpl.class - [JAR]

├─ org.checkerframework.dataflow.cfg.block.ConditionalBlock.class - [JAR]

├─ org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl.class - [JAR]

├─ org.checkerframework.dataflow.cfg.block.ExceptionBlock.class - [JAR]

├─ org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl.class - [JAR]

├─ org.checkerframework.dataflow.cfg.block.RegularBlock.class - [JAR]

├─ org.checkerframework.dataflow.cfg.block.RegularBlockImpl.class - [JAR]

├─ org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock.class - [JAR]

├─ org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl.class - [JAR]

├─ org.checkerframework.dataflow.cfg.block.SpecialBlock.class - [JAR]

├─ org.checkerframework.dataflow.cfg.block.SpecialBlockImpl.class - [JAR]

org.checkerframework.dataflow.constantpropagation

├─ org.checkerframework.dataflow.constantpropagation.Constant.class - [JAR]

├─ org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore.class - [JAR]

├─ org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer.class - [JAR]

org.checkerframework.dataflow.cfg.playground

├─ org.checkerframework.dataflow.cfg.playground.BusyExpressionPlayground.class - [JAR]

├─ org.checkerframework.dataflow.cfg.playground.ConstantPropagationPlayground.class - [JAR]

├─ org.checkerframework.dataflow.cfg.playground.LiveVariablePlayground.class - [JAR]

├─ org.checkerframework.dataflow.cfg.playground.ReachingDefinitionPlayground.class - [JAR]

org.checkerframework.dataflow.reachingdef

├─ org.checkerframework.dataflow.reachingdef.ReachingDefinitionNode.class - [JAR]

├─ org.checkerframework.dataflow.reachingdef.ReachingDefinitionStore.class - [JAR]

├─ org.checkerframework.dataflow.reachingdef.ReachingDefinitionTransfer.class - [JAR]

Advertisement

Dependencies from Group

Aug 01, 2023
1.3k usages
1k stars
Aug 31, 2018
630 usages
1k stars
Aug 01, 2023
52 usages
1k stars
Aug 01, 2023
41 usages
1k stars
Apr 02, 2020
27 usages
1k stars

Discover Dependencies

Sep 14, 2017
1 usages
1k stars
Jun 23, 2023
2 usages
150 stars
Aug 25, 2023
5 usages
187 stars
Feb 15, 2022
1 usages
168 stars
May 30, 2023
2 usages
4 stars
Sep 18, 2016
1 usages
May 22, 2022
1 usages
595 stars
Dec 12, 2020
1 usages
595 stars