接口分层结构
- proguard.analysis.cpa.interfaces.AbortOperator
- proguard.analysis.cpa.interfaces.AbstractState<StateT>
- proguard.analysis.cpa.interfaces.CallEdge
- proguard.analysis.cpa.interfaces.CfaEdge<CfaNodeT>
- proguard.analysis.cpa.interfaces.CfaNode<CfaEdgeT,SignatureT>
- proguard.analysis.cpa.interfaces.ConfigurableProgramAnalysis<StateT>
- proguard.analysis.cpa.interfaces.MergeOperator<StateT>
- proguard.analysis.cpa.interfaces.Precision
- proguard.analysis.cpa.interfaces.PrecisionAdjustment
- proguard.analysis.cpa.interfaces.ProgramLocationDependent
- proguard.analysis.cpa.interfaces.ReachedSet<StateT>
- proguard.analysis.cpa.interfaces.StopOperator<StateT>
- proguard.analysis.cpa.interfaces.TransferRelation<StateT>
- proguard.analysis.cpa.interfaces.ProgramLocationDependentTransferRelation<ContentT>
- proguard.analysis.cpa.interfaces.ProgramLocationDependentBackwardTransferRelation<ContentT>
- proguard.analysis.cpa.interfaces.ProgramLocationDependentForwardTransferRelation<ContentT>
- proguard.analysis.cpa.interfaces.ProgramLocationDependentTransferRelation<ContentT>
- proguard.analysis.cpa.interfaces.Waitlist<StateT>