org.checkerframework.dataflow.analysis

Interfaces

• AbstractValue
• Analysis
• BackwardAnalysis
• BackwardTransferFunction
• ForwardAnalysis
• ForwardTransferFunction
• Store
• TransferFunction

Classes

• AbstractAnalysis
• AbstractAnalysis.Worklist
• AnalysisResult
• BackwardAnalysisImpl
• ConditionalTransferResult
• FlowExpressions
• FlowExpressions.ArrayAccess
• FlowExpressions.ArrayCreation
• FlowExpressions.BinaryOperation
• FlowExpressions.ClassName
• FlowExpressions.FieldAccess
• FlowExpressions.LocalVariable
• FlowExpressions.MethodCall
• FlowExpressions.Receiver
• FlowExpressions.ThisReference
• FlowExpressions.Unknown
• FlowExpressions.ValueLiteral
• ForwardAnalysisImpl
• RegularTransferResult
• TransferInput
• TransferResult

Enums

• Analysis.Direction
• Store.FlowRule
• Store.Kind