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>>
SequentialCpaRun.PreviousRunDurationReceiver	Interface that can be implemented by the abort operator of the second CPA.

Class Summary

Class	Description
AbstractSingleWrapperState	This AbstractWrapperState wraps a single AbstractState and delegates the precision getter to it.
AbstractWaitlist<CollectionT extends java.util.Collection<AbstractState>>	This is a base class for Waitlists parametrized by the carrier CollectionT.
AbstractWrapperState	This AbstractState wraps an arbitrary number of other AbstractStates.
BamCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends AbstractState,CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>	This abstract wrapper class constructs a CpaWithBamOperators based on the intraprocedural ConfigurableProgramAnalysis, runs it, and returns the ReachedSet.
BamCpaRun.Builder	A builder for BamCpaRun.
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.
CpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends AbstractState>	This abstract wrapper class runs the selected ConfigurableProgramAnalysis and returns the ReachedSet.
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.
DifferentialMap<K,V>	A differential representation of maps.
DifferentialMapAbstractState<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>	This DifferentialMapAbstractState represents a map to LatticeAbstractStates with the semilattice operators lifted to the map.
HashMapAbstractState<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>	This HashMapAbstractState represents a map to LatticeAbstractStates with the semilattice operators lifted to the map.
LimitedHashMap<K,V>	This LimitedHashMap is a HashMap which limits its content based on the function removeElement.
LimitedHashMapAbstractState<KeyT,AbstractSpaceT extends LatticeAbstractState<AbstractSpaceT>>	This LimitedHashMapAbstractState represents a limited 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.
MemoryLocation<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature,ValueT extends AbstractState,AbstractStateT extends AbstractState>	A MemoryLocation points at a specific AbstractState in a compound AbstractStates for some CfaNode.
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.
SequentialCpaRun<CpaT extends ConfigurableProgramAnalysis,AbstractStateT extends AbstractState,InputCpaRunT extends CpaRun>	This CpaRun wraps another InputCpaRunT and allows a following CpaT to be constructed using the output of the former run.
SetAbstractState<T>	This SetAbstractState represents a set with the subset ordering.
SimpleCpa	The SimpleCpa is a ConfigurableProgramAnalysis wrapping its components.
SingleWrapperTransferRelation	This WrapperTransferRelation applies its (only) inner TransferRelation to the input.
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.