Package proguard.analysis.cpa.jvm.domain.memory

Class JvmMemoryLocationAbstractState.StackEntry<ContentT extends AbstractState<ContentT>>

java.lang.Object

proguard.analysis.cpa.jvm.domain.memory.JvmMemoryLocationAbstractState.StackEntry<ContentT>

Type Parameters:

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

Enclosing class:

JvmMemoryLocationAbstractState<ContentT extends AbstractState<ContentT>>

public static class JvmMemoryLocationAbstractState.StackEntry<ContentT extends AbstractState<ContentT>>
extends java.lang.Object

An entry of the call stack of the state.

Field Summary

Fields

Modifier and Type	Field	Description
JvmAbstractState<ContentT>	callerState
ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>>	reachedSet
MethodSignature	signature

Constructor Summary

Constructors

Constructor	Description
StackEntry(MethodSignature signature, ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> reachedSet, JvmAbstractState<ContentT> callerState)

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object obj)
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Detail

signature

public final MethodSignature signature

reachedSet

public final ProgramLocationDependentReachedSet<JvmAbstractState<ContentT extends AbstractState<ContentT>>> reachedSet

callerState

public final JvmAbstractState<ContentT extends AbstractState<ContentT>> callerState

Constructor Detail

StackEntry

public StackEntry(MethodSignature signature,
                  ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> reachedSet,
                  JvmAbstractState<ContentT> callerState)

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object