Interface | Description |
---|---|
AbstractValue<V extends AbstractValue<V>> |
An abstract value used in the org.checkerframework.dataflow analysis.
|
Store<S extends Store<S>> |
A store is used to keep track of the information that the org.checkerframework.dataflow analysis
has accumulated at any given point in time.
|
TransferFunction<A extends AbstractValue<A>,S extends Store<S>> |
Interface of a transfer function for the abstract interpretation used for the flow analysis.
|
Class | Description |
---|---|
Analysis<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> |
An implementation of an iterative algorithm to solve a org.checkerframework.dataflow problem,
given a control flow graph and a transfer function.
|
Analysis.Worklist |
A worklist is a priority queue of blocks in which the order is given by depth-first ordering
to place non-loop predecessors ahead of successors.
|
AnalysisResult<A extends AbstractValue<A>,S extends Store<S>> |
An
AnalysisResult represents the result of a org.checkerframework.dataflow analysis by
providing the abstract values given a node or a tree. |
ConditionalTransferResult<A extends AbstractValue<A>,S extends Store<S>> |
Implementation of a
TransferResult with two non-exceptional store; one for the 'then'
edge and one for 'else'. |
FlowExpressions |
Collection of classes and helper functions to represent Java expressions about which the
org.checkerframework.dataflow analysis can possibly infer facts.
|
FlowExpressions.ArrayAccess |
An array access.
|
FlowExpressions.ArrayCreation |
FlowExpression for array creations.
|
FlowExpressions.ClassName |
A ClassName represents the occurrence of a class as part of a static field access or method
invocation.
|
FlowExpressions.FieldAccess | |
FlowExpressions.LocalVariable | |
FlowExpressions.MethodCall |
A call to a @Deterministic method.
|
FlowExpressions.Receiver |
The poorly-named Receiver class is actually a Java AST.
|
FlowExpressions.ThisReference | |
FlowExpressions.Unknown | |
FlowExpressions.ValueLiteral |
FlowExpression.Receiver for literals.
|
RegularTransferResult<A extends AbstractValue<A>,S extends Store<S>> |
Implementation of a
TransferResult with just one non-exceptional store. |
TransferInput<A extends AbstractValue<A>,S extends Store<S>> |
TransferInput is used as the input type of the individual transfer functions of a TransferFunction . |
TransferResult<A extends AbstractValue<A>,S extends Store<S>> |
TransferResult is used as the result type of the individual transfer functions of a
TransferFunction . |
Enum | Description |
---|---|
Store.FlowRule |
A flow rule describes how stores flow along one edge between basic blocks.
|
Store.Kind |