Package 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>

Type Parameters:

AbstractStateT - The type of the values of the traced analysis.

All Implemented Interfaces:

ConfigurableProgramAnalysis

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

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

Constructor Summary

Constructors

Constructor	Description
JvmMemoryLocationCpa(AbstractStateT threshold, BamCpa<JvmCfaNode,JvmCfaEdge,MethodSignature> bamCpa, java.util.Map<Call,java.util.Set<JvmMemoryLocation>> extraTaintPropagationLocations)

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,
                            BamCpa<JvmCfaNode,JvmCfaEdge,MethodSignature> bamCpa,
                            java.util.Map<Call,java.util.Set<JvmMemoryLocation>> extraTaintPropagationLocations)