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