程序包 proguard.analysis.cpa.jvm.domain.memory

类 JvmMemoryLocationCpa<ContentT extends AbstractState<ContentT>>

java.lang.Object

proguard.analysis.cpa.defaults.SimpleCpa<JvmMemoryLocationAbstractState<ContentT>>

proguard.analysis.cpa.jvm.domain.memory.JvmMemoryLocationCpa<ContentT>

类型参数:

ContentT - The content of the jvm states for the traced analysis. For example, this can be a SetAbstractState of taints for taint analysis or a ValueAbstractState for value analysis.

所有已实现的接口:

ConfigurableProgramAnalysis<JvmMemoryLocationAbstractState<ContentT>>

public class JvmMemoryLocationCpa<ContentT extends AbstractState<ContentT>>
extends SimpleCpa<JvmMemoryLocationAbstractState<ContentT>>

The JvmMemoryLocationCpa backtraces memory locations. See {@see JvmMemoryLocationTransferRelation} for details.

构造器概要

构造器

构造器	说明
JvmMemoryLocationCpa(ContentT threshold, BamCpa<ContentT> bamCpa, java.util.Map<Call,java.util.Set<JvmMemoryLocation>> extraTaintPropagationLocations, AbortOperator abortOperator)

方法概要

修饰符和类型	方法	说明
@NotNull AbortOperator	getAbortOperator()

从类继承的方法 proguard.analysis.cpa.defaults.SimpleCpa

getMergeOperator, getPrecisionAdjustment, getStopOperator, getTransferRelation

从类继承的方法 java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

构造器详细资料

JvmMemoryLocationCpa

public JvmMemoryLocationCpa(ContentT threshold,
                            BamCpa<ContentT> bamCpa,
                            java.util.Map<Call,java.util.Set<JvmMemoryLocation>> extraTaintPropagationLocations,
                            AbortOperator abortOperator)

方法详细资料

getAbortOperator

@NotNull
public @NotNull AbortOperator getAbortOperator()

指定者:

getAbortOperator 在接口中 ConfigurableProgramAnalysis<ContentT extends AbstractState<ContentT>>

覆盖:

getAbortOperator 在类中 SimpleCpa<JvmMemoryLocationAbstractState<ContentT extends AbstractState<ContentT>>>