Package proguard.analysis.cpa.interfaces
package proguard.analysis.cpa.interfaces
-
InterfacesClassDescriptionThe
AbortOperatordefines whether the analysis should terminate upon encountering a specific abstract state.AbstractState<StateT extends AbstractState<StateT>>AnAbstractStatecontains information about the program state.This interface must be implemented by edges representing a procedure call.An edge forCfaparametrized by its nodesCfaNodeT.A node forCfaparametrized by its edgesCfaEdgeT.ConfigurableProgramAnalysis<StateT extends AbstractState<StateT>>ConfigurableProgramAnalysisconsists of aTransferRelation,MergeOperator,StopOperator, andPrecisionAdjustment.MergeOperator<StateT extends AbstractState<StateT>>TheMergeOperatordefines how (and whether) the olderAbstractStateshould be updated with the newly discoveredAbstractState.Precisionparametrizes the analysis accuracy of theCpaAlgorithm.PrecisionAdjustmentallows adjusting theCpaAlgorithmPrecisionbased of the reached abstract states.If anAbstractStateis program location-specific (i.e., is associated to a specific node from theCfa), it should implementProgramLocationDependent.ProgramLocationDependentBackwardTransferRelation<ContentT extends AbstractState<ContentT>>An interface forTransferRelations that depend on theCfalocation for which the successor can be defined for the entering edges of the current location.ProgramLocationDependentForwardTransferRelation<ContentT extends AbstractState<ContentT>>An interface forTransferRelations that depend on theCfalocation for which the successor can be defined for the leaving edges of the current location.ProgramLocationDependentTransferRelation<ContentT extends AbstractState<ContentT>>An interface forTransferRelations that depend on theCfalocation for which the successor can be defined for the edges of the current location.ReachedSet<StateT extends AbstractState<StateT>>StopOperator<StateT extends AbstractState<StateT>>TheStopOperatordecides ifCpaAlgorithmshould stop.TransferRelation<StateT extends AbstractState<StateT>>Waitlist<StateT extends AbstractState<StateT>>