META-INF/
META-INF/MANIFEST.MF
org/
org/checkerframework/
org/checkerframework/dataflow/
org/checkerframework/dataflow/cfg/
org/checkerframework/dataflow/cfg/JavaSource2CFGDOT.java
org/checkerframework/dataflow/cfg/UnderlyingAST.java
org/checkerframework/dataflow/cfg/ControlFlowGraph.java
org/checkerframework/dataflow/cfg/CFGVisualizer.java
org/checkerframework/dataflow/cfg/DOTCFGVisualizer.java
org/checkerframework/dataflow/cfg/block/
org/checkerframework/dataflow/cfg/block/Block.java
org/checkerframework/dataflow/cfg/block/ConditionalBlockImpl.java
org/checkerframework/dataflow/cfg/block/RegularBlockImpl.java
org/checkerframework/dataflow/cfg/block/ExceptionBlock.java
org/checkerframework/dataflow/cfg/block/SingleSuccessorBlock.java
org/checkerframework/dataflow/cfg/block/BlockImpl.java
org/checkerframework/dataflow/cfg/block/RegularBlock.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/block/ConditionalBlock.java
org/checkerframework/dataflow/cfg/block/ExceptionBlockImpl.java
org/checkerframework/dataflow/cfg/node/
org/checkerframework/dataflow/cfg/node/GreaterThanNode.java
org/checkerframework/dataflow/cfg/node/AssertionErrorNode.java
org/checkerframework/dataflow/cfg/node/NullLiteralNode.java
org/checkerframework/dataflow/cfg/node/GreaterThanOrEqualNode.java
org/checkerframework/dataflow/cfg/node/BitwiseComplementNode.java
org/checkerframework/dataflow/cfg/node/NumericalMultiplicationNode.java
org/checkerframework/dataflow/cfg/node/UnaryOperationNode.java
org/checkerframework/dataflow/cfg/node/StringLiteralNode.java
org/checkerframework/dataflow/cfg/node/NullChkNode.java
org/checkerframework/dataflow/cfg/node/TypeCastNode.java
org/checkerframework/dataflow/cfg/node/NumericalAdditionNode.java
org/checkerframework/dataflow/cfg/node/NumericalSubtractionNode.java
org/checkerframework/dataflow/cfg/node/ShortLiteralNode.java
org/checkerframework/dataflow/cfg/node/LongLiteralNode.java
org/checkerframework/dataflow/cfg/node/LessThanOrEqualNode.java
org/checkerframework/dataflow/cfg/node/ConditionalNotNode.java
org/checkerframework/dataflow/cfg/node/DoubleLiteralNode.java
org/checkerframework/dataflow/cfg/node/CaseNode.java
org/checkerframework/dataflow/cfg/node/ExplicitThisLiteralNode.java
org/checkerframework/dataflow/cfg/node/FloatingDivisionNode.java
org/checkerframework/dataflow/cfg/node/InstanceOfNode.java
org/checkerframework/dataflow/cfg/node/FieldAccessNode.java
org/checkerframework/dataflow/cfg/node/LessThanNode.java
org/checkerframework/dataflow/cfg/node/StringConversionNode.java
org/checkerframework/dataflow/cfg/node/MethodAccessNode.java
org/checkerframework/dataflow/cfg/node/Node.java
org/checkerframework/dataflow/cfg/node/ParameterizedTypeNode.java
org/checkerframework/dataflow/cfg/node/PrimitiveTypeNode.java
org/checkerframework/dataflow/cfg/node/WideningConversionNode.java
org/checkerframework/dataflow/cfg/node/LambdaResultExpressionNode.java
org/checkerframework/dataflow/cfg/node/BitwiseAndNode.java
org/checkerframework/dataflow/cfg/node/SignedRightShiftNode.java
org/checkerframework/dataflow/cfg/node/MarkerNode.java
org/checkerframework/dataflow/cfg/node/AssignmentContext.java
org/checkerframework/dataflow/cfg/node/ThisLiteralNode.java
org/checkerframework/dataflow/cfg/node/SynchronizedNode.java
org/checkerframework/dataflow/cfg/node/ImplicitThisLiteralNode.java
org/checkerframework/dataflow/cfg/node/NumericalPlusNode.java
org/checkerframework/dataflow/cfg/node/FloatLiteralNode.java
org/checkerframework/dataflow/cfg/node/UnsignedRightShiftNode.java
org/checkerframework/dataflow/cfg/node/IntegerDivisionNode.java
org/checkerframework/dataflow/cfg/node/ReturnNode.java
org/checkerframework/dataflow/cfg/node/ClassDeclarationNode.java
org/checkerframework/dataflow/cfg/node/MethodInvocationNode.java
org/checkerframework/dataflow/cfg/node/IntegerRemainderNode.java
org/checkerframework/dataflow/cfg/node/IntegerLiteralNode.java
org/checkerframework/dataflow/cfg/node/ArrayAccessNode.java
org/checkerframework/dataflow/cfg/node/LeftShiftNode.java
org/checkerframework/dataflow/cfg/node/BitwiseXorNode.java
org/checkerframework/dataflow/cfg/node/ValueLiteralNode.java
org/checkerframework/dataflow/cfg/node/FloatingRemainderNode.java
org/checkerframework/dataflow/cfg/node/ConditionalOrNode.java
org/checkerframework/dataflow/cfg/node/AbstractNodeVisitor.java
org/checkerframework/dataflow/cfg/node/ArrayTypeNode.java
org/checkerframework/dataflow/cfg/node/ArrayCreationNode.java
org/checkerframework/dataflow/cfg/node/ClassNameNode.java
org/checkerframework/dataflow/cfg/node/NarrowingConversionNode.java
org/checkerframework/dataflow/cfg/node/AssignmentNode.java
org/checkerframework/dataflow/cfg/node/NotEqualNode.java
org/checkerframework/dataflow/cfg/node/EqualToNode.java
org/checkerframework/dataflow/cfg/node/StringConcatenateAssignmentNode.java
org/checkerframework/dataflow/cfg/node/SuperNode.java
org/checkerframework/dataflow/cfg/node/CharacterLiteralNode.java
org/checkerframework/dataflow/cfg/node/VariableDeclarationNode.java
org/checkerframework/dataflow/cfg/node/PackageNameNode.java
org/checkerframework/dataflow/cfg/node/FunctionalInterfaceNode.java
org/checkerframework/dataflow/cfg/node/ObjectCreationNode.java
org/checkerframework/dataflow/cfg/node/ThrowNode.java
org/checkerframework/dataflow/cfg/node/ConditionalAndNode.java
org/checkerframework/dataflow/cfg/node/NodeVisitor.java
org/checkerframework/dataflow/cfg/node/StringConcatenateNode.java
org/checkerframework/dataflow/cfg/node/BinaryOperationNode.java
org/checkerframework/dataflow/cfg/node/NumericalMinusNode.java
org/checkerframework/dataflow/cfg/node/TernaryExpressionNode.java
org/checkerframework/dataflow/cfg/node/LocalVariableNode.java
org/checkerframework/dataflow/cfg/node/BooleanLiteralNode.java
org/checkerframework/dataflow/cfg/node/BitwiseOrNode.java
org/checkerframework/dataflow/cfg/playground/
org/checkerframework/dataflow/cfg/playground/ConstantPropagationPlayground.java
org/checkerframework/dataflow/cfg/CFGBuilder.java
org/checkerframework/dataflow/util/
org/checkerframework/dataflow/util/PurityChecker.java
org/checkerframework/dataflow/util/AbstractMostlySingleton.java
org/checkerframework/dataflow/util/IdentityMostlySingleton.java
org/checkerframework/dataflow/util/HashCodeUtils.java
org/checkerframework/dataflow/util/NodeUtils.java
org/checkerframework/dataflow/util/MostlySingleton.java
org/checkerframework/dataflow/util/PurityUtils.java
org/checkerframework/dataflow/analysis/
org/checkerframework/dataflow/analysis/TransferFunction.java
org/checkerframework/dataflow/analysis/TransferInput.java
org/checkerframework/dataflow/analysis/TransferResult.java
org/checkerframework/dataflow/analysis/RegularTransferResult.java
org/checkerframework/dataflow/analysis/FlowExpressions.java
org/checkerframework/dataflow/analysis/Analysis.java
org/checkerframework/dataflow/analysis/AnalysisResult.java
org/checkerframework/dataflow/analysis/ConditionalTransferResult.java
org/checkerframework/dataflow/analysis/Store.java
org/checkerframework/dataflow/analysis/AbstractValue.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/qual/
org/checkerframework/dataflow/qual/TerminatesExecution.java
org/checkerframework/dataflow/qual/Deterministic.java
org/checkerframework/dataflow/qual/SideEffectFree.java
org/checkerframework/dataflow/qual/Pure.java