Class Hierarchy
- java.lang.Object
- proguard.analysis.cpa.bam.BamCacheImpl<SignatureT> (implements proguard.analysis.cpa.bam.BamCache<SignatureT>)
- proguard.analysis.cpa.bam.BamCpa<CfaNodeT,CfaEdgeT,SignatureT> (implements proguard.analysis.cpa.interfaces.ConfigurableProgramAnalysis)
- proguard.analysis.cpa.bam.BamTransferRelation<CfaNodeT,CfaEdgeT,SignatureT> (implements proguard.analysis.cpa.interfaces.TransferRelation)
- proguard.analysis.cpa.bam.BlockAbstraction
- proguard.analysis.cpa.bam.NoOpRebuildOperator (implements proguard.analysis.cpa.bam.RebuildOperator)
- proguard.analysis.cpa.bam.NoOpReduceOperator<CfaNodeT,CfaEdgeT,SignatureT> (implements proguard.analysis.cpa.bam.ReduceOperator<CfaNodeT,CfaEdgeT,SignatureT>)
- proguard.analysis.cpa.defaults.SimpleCpa (implements proguard.analysis.cpa.interfaces.ConfigurableProgramAnalysis)
- proguard.analysis.cpa.bam.CpaWithBamOperators<CfaNodeT,CfaEdgeT,SignatureT>
Interface Hierarchy
- proguard.analysis.cpa.bam.BamCache<SignatureT>
- proguard.analysis.cpa.bam.BamLocationDependent<CfaNodeT,CfaEdgeT,AbstractStateT,SignatureT>
- proguard.analysis.cpa.bam.ExpandOperator<CfaNodeT,CfaEdgeT,SignatureT>
- proguard.analysis.cpa.bam.RebuildOperator
- proguard.analysis.cpa.bam.ReduceOperator<CfaNodeT,CfaEdgeT,SignatureT>