proguard.analysis.cpa.jvm.domain.taint

Interfaces

• JvmTaintHeapAbstractState
• JvmTaintTransformer

Classes

• JvmBasicTaintTreeHeapFollowerAbstractState
• JvmInvokeTaintSink
• JvmInvokeTaintSink.Builder
• JvmReturnTaintSink
• JvmTaintAbstractState
• JvmTaintBamCpaRun
• JvmTaintBamCpaRun.Builder
• JvmTaintCpa
• JvmTaintExpandOperator
• JvmTaintMemoryLocationBamCpaRun
• JvmTaintMemoryLocationBamCpaRun.Builder
• JvmTaintReduceOperator
• JvmTaintSink
• JvmTaintSource
• JvmTaintTransferRelation
• JvmTaintTreeHeapFollowerAbstractState