proguard.analysis.cpa.jvm.domain.memory

Class JvmMemoryLocationCpa<ContentT extends AbstractState<ContentT>>

java.lang.Object

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

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

Type Parameters:

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.

All Implemented Interfaces:

ConfigurableProgramAnalysis<JvmMemoryLocationAbstractState<ContentT>>

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

The JvmMemoryLocationCpa backtraces memory locations. See JvmMemoryLocationTransferRelation for details.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
@NotNull AbortOperator	getAbortOperator()

Methods inherited from class proguard.analysis.cpa.defaults.SimpleCpa

getMergeOperator, getPrecisionAdjustment, getStopOperator, getTransferRelation

Methods inherited from class java.lang.Object

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

Constructor Detail

JvmMemoryLocationCpa

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

Method Detail

getAbortOperator

@NotNull
public @NotNull AbortOperator getAbortOperator()

Specified by:

getAbortOperator in interface ConfigurableProgramAnalysis<JvmMemoryLocationAbstractState<ContentT extends AbstractState<ContentT>>>

Overrides:

getAbortOperator in class SimpleCpa<JvmMemoryLocationAbstractState<ContentT extends AbstractState<ContentT>>>