All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register
    • Search JAR files by class name

    Download dataflow-nullaway JAR 3.48.1 with all dependencies


    dataflow-nullaway is a dataflow framework based on the javac compiler. It differs from the org.checkerframework:dataflow artifact in two ways. First, the packages in this artifact have been renamed to org.checkerframework.nullaway.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires.

    Files of the artifact dataflow-nullaway version 3.48.1 from the group org.checkerframework.

    Test

    Artifact dataflow-nullaway
    Group org.checkerframework
    Version 3.48.1
    Last update 11. October 2024
    Tags: based javac been differs this packages second dependencies nullaway artifact contains dataflow framework ways unlike have from compiler checkerframework renamed first requires
    Organization not specified
    URL https://checkerframework.org/
    License GNU General Public License, version 2 (GPL2), with the classpath exception
    Dependencies amount 0
    Dependencies No dependencies
    There are maybe transitive dependencies!
    There is a newer version: 3.48.3
    Show newest version
    Show more of this group  Show more artifacts with this name
    Show all versions of dataflow-nullaway Show documentation

    Please rate this JAR file. Is it a good library?

    0 downloads

    Source code of dataflow-nullaway version 3.48.1

    META-INF
    META-INF.META-INF.LICENSE.txt
    META-INF.META-INF.MANIFEST.MF
    org.checkerframework.dataflow.analysis
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.AbstractAnalysis
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.AbstractValue
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.Analysis
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.AnalysisResult
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.BackwardAnalysis
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.BackwardAnalysisImpl
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.BackwardTransferFunction
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.ConditionalTransferResult
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.ForwardAnalysis
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.ForwardAnalysisImpl
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.ForwardTransferFunction
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.RegularTransferResult
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.Store
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.TransferFunction
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.TransferInput
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.TransferResult
    org.checkerframework.dataflow.analysis.org.checkerframework.dataflow.analysis.UnusedAbstractValue
    org.checkerframework.dataflow.busyexpr
    org.checkerframework.dataflow.busyexpr.org.checkerframework.dataflow.busyexpr.BusyExprStore
    org.checkerframework.dataflow.busyexpr.org.checkerframework.dataflow.busyexpr.BusyExprTransfer
    org.checkerframework.dataflow.busyexpr.org.checkerframework.dataflow.busyexpr.BusyExprValue
    org.checkerframework.dataflow.cfg
    org.checkerframework.dataflow.cfg.org.checkerframework.dataflow.cfg.CFGProcessor
    org.checkerframework.dataflow.cfg.org.checkerframework.dataflow.cfg.ControlFlowGraph
    org.checkerframework.dataflow.cfg.org.checkerframework.dataflow.cfg.UnderlyingAST
    org.checkerframework.dataflow.cfg.block
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.Block
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.BlockImpl
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.ConditionalBlock
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.ExceptionBlock
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.RegularBlock
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.RegularBlockImpl
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.SpecialBlock
    org.checkerframework.dataflow.cfg.block.org.checkerframework.dataflow.cfg.block.SpecialBlockImpl
    org.checkerframework.dataflow.cfg.builder
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.CFGBuilder
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseThree
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseTwo
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.ConditionalJump
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.ExtendedNode
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.Label
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.LabelCell
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.MissingEdge
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.NodeHolder
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.NodeWithExceptionsHolder
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.PhaseOneResult
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.TreeInfo
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.TryCatchFrame
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.TryFinallyFrame
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.TryFinallyScopeMap
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.TryFrame
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.TryStack
    org.checkerframework.dataflow.cfg.builder.org.checkerframework.dataflow.cfg.builder.UnconditionalJump
    org.checkerframework.dataflow.cfg.node
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ArrayAccessNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ArrayCreationNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ArrayTypeNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.AssertionErrorNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.AssignmentNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.BinaryOperationNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.BitwiseAndNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.BitwiseComplementNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.BitwiseOrNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.BitwiseXorNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.BooleanLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.CaseNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.CatchMarkerNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.CharacterLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ClassDeclarationNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ClassNameNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ConditionalAndNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ConditionalNotNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ConditionalOrNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.DeconstructorPatternNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.DoubleLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.EqualToNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ExplicitThisNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ExpressionStatementNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.FieldAccessNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.FloatLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.FloatingDivisionNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.GreaterThanNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ImplicitThisNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.InstanceOfNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.IntegerDivisionNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.IntegerLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.LambdaResultExpressionNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.LeftShiftNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.LessThanNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.LocalVariableNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.LongLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.MarkerNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.MethodAccessNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.MethodInvocationNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.Node
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NodeVisitor
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NotEqualNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NullChkNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NullLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NumericalMinusNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NumericalPlusNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ObjectCreationNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.PackageNameNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ReturnNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ShortLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.SignedRightShiftNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.StringConcatenateNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.StringConversionNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.StringLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.SuperNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.SwitchExpressionNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.SynchronizedNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ThisNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ThrowNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.TypeCastNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.UnaryOperationNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.ValueLiteralNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
    org.checkerframework.dataflow.cfg.node.org.checkerframework.dataflow.cfg.node.WideningConversionNode
    org.checkerframework.dataflow.cfg.playground
    org.checkerframework.dataflow.cfg.playground.org.checkerframework.dataflow.cfg.playground.BusyExpressionPlayground
    org.checkerframework.dataflow.cfg.playground.org.checkerframework.dataflow.cfg.playground.ConstantPropagationPlayground
    org.checkerframework.dataflow.cfg.playground.org.checkerframework.dataflow.cfg.playground.LiveVariablePlayground
    org.checkerframework.dataflow.cfg.playground.org.checkerframework.dataflow.cfg.playground.ReachingDefinitionPlayground
    org.checkerframework.dataflow.cfg.visualize
    org.checkerframework.dataflow.cfg.visualize.org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer
    org.checkerframework.dataflow.cfg.visualize.org.checkerframework.dataflow.cfg.visualize.CFGVisualizeLauncher
    org.checkerframework.dataflow.cfg.visualize.org.checkerframework.dataflow.cfg.visualize.CFGVisualizeOptions
    org.checkerframework.dataflow.cfg.visualize.org.checkerframework.dataflow.cfg.visualize.CFGVisualizer
    org.checkerframework.dataflow.cfg.visualize.org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer
    org.checkerframework.dataflow.cfg.visualize.org.checkerframework.dataflow.cfg.visualize.StringCFGVisualizer
    org.checkerframework.dataflow.constantpropagation
    org.checkerframework.dataflow.constantpropagation.org.checkerframework.dataflow.constantpropagation.Constant
    org.checkerframework.dataflow.constantpropagation.org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
    org.checkerframework.dataflow.constantpropagation.org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
    org.checkerframework.dataflow.expression
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.ArrayAccess
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.ArrayCreation
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.BinaryOperation
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.ClassName
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.FieldAccess
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.FormalParameter
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.JavaExpression
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.JavaExpressionConverter
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.JavaExpressionScanner
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.JavaExpressionVisitor
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.LocalVariable
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.MethodCall
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.SuperReference
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.ThisReference
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.UnaryOperation
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.Unknown
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.ValueLiteral
    org.checkerframework.dataflow.expression.org.checkerframework.dataflow.expression.ViewpointAdaptJavaExpression
    org.checkerframework.dataflow.livevariable
    org.checkerframework.dataflow.livevariable.org.checkerframework.dataflow.livevariable.LiveVarNode
    org.checkerframework.dataflow.livevariable.org.checkerframework.dataflow.livevariable.LiveVarStore
    org.checkerframework.dataflow.livevariable.org.checkerframework.dataflow.livevariable.LiveVarTransfer
    org.checkerframework.dataflow.livevariable.org.checkerframework.dataflow.livevariable.package-info
    org.checkerframework.dataflow.reachingdef
    org.checkerframework.dataflow.reachingdef.org.checkerframework.dataflow.reachingdef.ReachingDefinitionNode
    org.checkerframework.dataflow.reachingdef.org.checkerframework.dataflow.reachingdef.ReachingDefinitionStore
    org.checkerframework.dataflow.reachingdef.org.checkerframework.dataflow.reachingdef.ReachingDefinitionTransfer
    org.checkerframework.dataflow.util
    org.checkerframework.dataflow.util.org.checkerframework.dataflow.util.NodeUtils
    org.checkerframework.dataflow.util.org.checkerframework.dataflow.util.PurityChecker
    org.checkerframework.dataflow.util.org.checkerframework.dataflow.util.PurityUtils




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy