proguard.analysis.cpa.jvm.domain.reference

Classes

• CompositeHeapJvmAbstractState
• CompositeHeapTransferRelation
• JvmCompositeHeapExpandOperator
• JvmCompositeHeapReduceOperator
• JvmReferenceAbstractState
• JvmReferenceExpandOperator
• JvmReferenceReduceOperator
• JvmReferenceTransferRelation
• Reference