proguard.analysis.cpa.interfaces

Interfaces

• AbortOperator
• AbstractDomain
• AbstractState
• Algorithm
• CallEdge
• CfaEdge
• CfaNode
• ConfigurableProgramAnalysis
• MergeOperator
• Precision
• PrecisionAdjustment
• ProgramLocationDependent
• ProgramLocationDependentBackwardTransferRelation
• ProgramLocationDependentForwardTransferRelation
• ProgramLocationDependentTransferRelation
• ReachedSet
• StopOperator
• TransferRelation
• Waitlist
• WrapperTransferRelation