proguard.analysis.cpa.defaults

Interfaces

• LatticeAbstractState
• MapAbstractState
• SequentialCpaRun.PreviousRunDurationReceiver

Classes

• AbstractSingleWrapperState
• AbstractWaitlist
• AbstractWrapperState
• BamCpaRun
• BamCpaRun.Builder
• BreadthFirstWaitlist
• Cfa
• ControllableAbortOperator
• CpaRun
• DefaultReachedSet
• DelegateAbstractDomain
• DepthFirstWaitlist
• DifferentialMap
• DifferentialMapAbstractState
• HashMapAbstractState
• LimitedHashMap
• LimitedHashMapAbstractState
• ListAbstractState
• MemoryLocation
• MergeJoinOperator
• MergeSepOperator
• NeverAbortOperator
• PrecisionAdjustmentResult
• ProgramLocationDependentReachedSet
• SequentialCpaRun
• SetAbstractState
• SimpleCpa
• SingleWrapperTransferRelation
• StackAbstractState
• StaticPrecisionAdjustment
• StopAlwaysOperator
• StopContainedOperator
• StopJoinOperator
• StopNeverOperator
• StopSepOperator