proguard.analysis.cpa.jvm.domain.memory

Class JvmMemoryLocationCpa<AbstractStateT extends LatticeAbstractState<AbstractStateT>>

java.lang.Object

proguard.analysis.cpa.defaults.SimpleCpa

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

All Implemented Interfaces:

ConfigurableProgramAnalysis

public class JvmMemoryLocationCpa<AbstractStateT extends LatticeAbstractState<AbstractStateT>>
extends SimpleCpa

The JvmMemoryLocationCpa backtraces memory locations. See JvmMemoryLocationTransferRelation for details.

Constructor Summary

Constructors

Constructor and Description
JvmMemoryLocationCpa(AbstractStateT threshold) Create a memory location CPA.

Method Summary

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

getAbstractDomain, 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(AbstractStateT threshold)

Create a memory location CPA.

Parameters:

threshold - a cut-off threshold