Package proguard.analysis.cpa.defaults

Interface Summary

Interface	Description
LatticeAbstractState<AbstractStateT extends LatticeAbstractState<AbstractStateT>>	The LatticeAbstractState is an AbstractDomain with concrete interfaces.
MapAbstractState<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>

Class Summary

Class	Description
AbstractWaitlist<CollectionT extends java.util.Collection<AbstractState>>	This is a base class for Waitlists parametrized by the carrier CollectionT.
BreadthFirstWaitlist	This Waitlist pops the first element, i.e., performs a breadth first traversal over the Cfa.
Cfa<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>	A Cfa is a control flow automaton with nodes <CfaNodeT> and edges <CfaEdgeT>.
ControllableAbortOperator	This AbortOperator allows changing its behavior by setting the boolean field ControllableAbortOperator.abort to the desired output.
DefaultReachedSet	This is a LinkedHashSet-based implementation of the ReachedSet.
DelegateAbstractDomain<LatticeAbstractStateT extends LatticeAbstractState>	This delegator passes all the AbstractDomain operators to the LatticeAbstractState.
DepthFirstWaitlist	This Waitlist pops the last element, i.e., performs a depth first traversal over the Cfa.
HashMapAbstractState<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>	This HashMapAbstractState represents a map to LatticeAbstractStates with the semilattice operators lifted to the map.
ListAbstractState<AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>	This ListAbstractState represents a list of LatticeAbstractStates with the semilattice operators lifted to the list.
MergeJoinOperator	This MergeOperator applies the join operator to its arguments.
MergeSepOperator	This MergeOperator does not weaken the input AbstractState.
NeverAbortOperator	This AbortOperator never terminates the analysis prematurely.
PrecisionAdjustmentResult	This is the result of PrecisionAdjustment, namely an AbstractState and Precision.
ProgramLocationDependentReachedSet<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,AbstractStateT extends AbstractState & ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT>,SignatureT extends Signature>	This ReachedSet stores ProgramLocationDependent AbstractStates.
SetAbstractState<T>	This SetAbstractState represents a set with the subset ordering.
SimpleCpa	The SimpleCpa is a ConfigurableProgramAnalysis wrapping its components.
StackAbstractState<AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>	This StackAbstractState represents a stack of LatticeAbstractStates with the semilattice operators lifted to the stack.
StaticPrecisionAdjustment	This PrecisionAdjustment keeps the Precision the same.
StopAlwaysOperator	This StopOperator always returns true, i.e., it can be used for a single pass of the analysis.
StopContainedOperator	This StopOperator returns true if the reached set contains the input AbstractState.
StopJoinOperator	This StopOperator returns true if the input state is less or equal than join over the reached set.
StopNeverOperator	This StopOperator always returns false, i.e., it can be used for analyses running until the Waitlist becomes empty.
StopSepOperator	This StopOperator returns true if there is a state in the reached set covering the input AbstractState.