proguard.analysis.cpa.defaults

Interfaces

• LatticeAbstractState

Classes

• AbstractSingleWrapperState
• AbstractWaitlist
• AbstractWrapperState
• BamCpaRun
• BreadthFirstWaitlist
• Cfa
• ControllableAbortOperator
• CpaRun
• DefaultReachedSet
• DelegateAbstractDomain
• DepthFirstWaitlist
• ListAbstractState
• MapAbstractState
• MemoryLocation
• MergeJoinOperator
• MergeSepOperator
• NeverAbortOperator
• PrecisionAdjustmentResult
• ProgramLocationDependentReachedSet
• SequentialCpaRun
• SetAbstractState
• SimpleCpa
• SingleWrapperTransferRelation
• StackAbstractState
• StaticPrecisionAdjustment
• StopAlwaysOperator
• StopContainedOperator
• StopJoinOperator
• StopNeverOperator
• StopSepOperator