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

类 JvmMemoryLocationAbstractState<ContentT extends AbstractState<ContentT>>

java.lang.Object

proguard.analysis.cpa.jvm.domain.memory.JvmMemoryLocationAbstractState<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.

所有已实现的接口:

BamLocationDependent<ContentT>, AbstractState<JvmMemoryLocationAbstractState<ContentT>>, ProgramLocationDependent

public class JvmMemoryLocationAbstractState<ContentT extends AbstractState<ContentT>>
extends java.lang.Object
implements AbstractState<JvmMemoryLocationAbstractState<ContentT>>, ProgramLocationDependent, BamLocationDependent<ContentT>

This AbstractState consists of a BamLocationDependentJvmMemoryLocation with a set of sources contributed into its value and the call stack that generated it.

嵌套类概要

嵌套类

修饰符和类型	类	说明
static class	JvmMemoryLocationAbstractState.StackEntry<ContentT extends AbstractState<ContentT>>	An entry of the call stack of the state.

构造器概要

构造器

构造器	说明
JvmMemoryLocationAbstractState(BamLocationDependentJvmMemoryLocation<ContentT> locationDependentMemoryLocation)	Create a JvmMemoryLocationAbstractState with empty source locations and call stack.
JvmMemoryLocationAbstractState(JvmMemoryLocation memoryLocation, JvmCfaNode programLocation, ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> sourceReachedSet)	Create a JvmMemoryLocationAbstractState with empty source locations and call stack.
JvmMemoryLocationAbstractState(JvmMemoryLocation memoryLocation, JvmCfaNode programLocation, ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> sourceReachedSet, java.util.LinkedList<JvmMemoryLocationAbstractState.StackEntry<ContentT>> callStack)	Create a JvmMemoryLocationAbstractState with empty source locations.
JvmMemoryLocationAbstractState(JvmMemoryLocation memoryLocation, JvmCfaNode programLocation, ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> sourceReachedSet, java.util.Set<BamLocationDependentJvmMemoryLocation<ContentT>> sourceLocations)	Create a JvmMemoryLocationAbstractState with empty call stack.
JvmMemoryLocationAbstractState(JvmMemoryLocation memoryLocation, JvmCfaNode programLocation, ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> sourceReachedSet, java.util.Set<BamLocationDependentJvmMemoryLocation<ContentT>> sourceLocations, java.util.LinkedList<JvmMemoryLocationAbstractState.StackEntry<ContentT>> callStack)	Create a JvmMemoryLocationAbstractState with source locations.

方法概要

修饰符和类型	方法	说明
void	addSourceLocation(BamLocationDependentJvmMemoryLocation<ContentT> sourceLocation)	Adds a source location to the source set.
boolean	callStackContains(MethodSignature signature)	Returns true if a method is present in the call stack.
JvmMemoryLocationAbstractState<ContentT>	copy()	Creates a copy of itself.
java.util.LinkedList<JvmMemoryLocationAbstractState.StackEntry<ContentT>>	copyStack()	Returns a shallow copy of the call stack.
boolean	equals(java.lang.Object obj)
BamLocationDependentJvmMemoryLocation<ContentT>	getLocationDependentMemoryLocation()
JvmCfaNode	getProgramLocation()	Returns the program location.
java.util.Set<BamLocationDependentJvmMemoryLocation<ContentT>>	getSourceLocations()	Returns the source set.
ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>>	getSourceReachedSet()	Returns the reached set the abstract state belongs to.
int	hashCode()
boolean	isLessOrEqual(JvmMemoryLocationAbstractState<ContentT> abstractState)	Compares itself to the abstractState (i.e., compare the states on the partial order provided by the domain of the analysis).
JvmMemoryLocationAbstractState<ContentT>	join(JvmMemoryLocationAbstractState<ContentT> abstractState)	Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).
JvmMemoryLocationAbstractState.StackEntry<ContentT>	peekCallStack()	Returns the information of the caller, null if the caller of the method the state belongs to is unknown.
void	setProgramLocation(JvmCfaNode programLocation)	Sets the program location.
void	setSourceReachedSet(ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> sourceReachedSet)	Sets the reached set the abstract state belongs to.
static <ContentT extends AbstractState<ContentT>> JvmMemoryLocationAbstractState<ContentT>	top()	Get the top state of the semi lattice for the given content type.

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

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

从接口继承的方法 proguard.analysis.cpa.interfaces.AbstractState

getPrecision, isLess

构造器详细资料

JvmMemoryLocationAbstractState

public JvmMemoryLocationAbstractState(BamLocationDependentJvmMemoryLocation<ContentT> locationDependentMemoryLocation)

Create a JvmMemoryLocationAbstractState with empty source locations and call stack.

参数:

locationDependentMemoryLocation - a JvmMemoryLocation in a specified program location coming from a specific reached set.

JvmMemoryLocationAbstractState

public JvmMemoryLocationAbstractState(JvmMemoryLocation memoryLocation,
                                      JvmCfaNode programLocation,
                                      ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> sourceReachedSet)

Create a JvmMemoryLocationAbstractState with empty source locations and call stack.

参数:

memoryLocation - a memory location.

programLocation - the program location of the memory location.

sourceReachedSet - the reached set of the traced analysis from which the analyzed state comes from.

JvmMemoryLocationAbstractState

public JvmMemoryLocationAbstractState(JvmMemoryLocation memoryLocation,
                                      JvmCfaNode programLocation,
                                      ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> sourceReachedSet,
                                      java.util.Set<BamLocationDependentJvmMemoryLocation<ContentT>> sourceLocations)

Create a JvmMemoryLocationAbstractState with empty call stack.

参数:

memoryLocation - a memory location.

programLocation - the program location of the memory location.

sourceReachedSet - the reached set of the traced analysis from which the analyzed state comes from.

sourceLocations - the succcessor memory locations.

JvmMemoryLocationAbstractState

public JvmMemoryLocationAbstractState(JvmMemoryLocation memoryLocation,
                                      JvmCfaNode programLocation,
                                      ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> sourceReachedSet,
                                      java.util.LinkedList<JvmMemoryLocationAbstractState.StackEntry<ContentT>> callStack)

Create a JvmMemoryLocationAbstractState with empty source locations.

参数:

memoryLocation - a memory location.

programLocation - the program location of the memory location.

sourceReachedSet - the reached set of the traced analysis from which the analyzed state comes from.

callStack - the call stack.

JvmMemoryLocationAbstractState

public JvmMemoryLocationAbstractState(JvmMemoryLocation memoryLocation,
                                      JvmCfaNode programLocation,
                                      ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> sourceReachedSet,
                                      java.util.Set<BamLocationDependentJvmMemoryLocation<ContentT>> sourceLocations,
                                      java.util.LinkedList<JvmMemoryLocationAbstractState.StackEntry<ContentT>> callStack)

Create a JvmMemoryLocationAbstractState with source locations.

参数:

memoryLocation - a memory location.

programLocation - the program location of the memory location.

sourceReachedSet - the reached set of the traced analysis from which the analyzed state comes from.

sourceLocations - the succcessor memory locations.

callStack - the call stack.

方法详细资料

getLocationDependentMemoryLocation

public BamLocationDependentJvmMemoryLocation<ContentT> getLocationDependentMemoryLocation()

peekCallStack

public JvmMemoryLocationAbstractState.StackEntry<ContentT> peekCallStack()

Returns the information of the caller, null if the caller of the method the state belongs to is unknown.

callStackContains

public boolean callStackContains(MethodSignature signature)

Returns true if a method is present in the call stack.

copyStack

public java.util.LinkedList<JvmMemoryLocationAbstractState.StackEntry<ContentT>> copyStack()

Returns a shallow copy of the call stack.

join

public JvmMemoryLocationAbstractState<ContentT> join(JvmMemoryLocationAbstractState<ContentT> abstractState)

从接口复制的说明: AbstractState

Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).

指定者:

join 在接口中 AbstractState<ContentT extends AbstractState<ContentT>>

isLessOrEqual

public boolean isLessOrEqual(JvmMemoryLocationAbstractState<ContentT> abstractState)

从接口复制的说明: AbstractState

Compares itself to the abstractState (i.e., compare the states on the partial order provided by the domain of the analysis).

指定者:

isLessOrEqual 在接口中 AbstractState<ContentT extends AbstractState<ContentT>>

getProgramLocation

public JvmCfaNode getProgramLocation()

从接口复制的说明: ProgramLocationDependent

Returns the program location.

指定者:

getProgramLocation 在接口中 ProgramLocationDependent

setProgramLocation

public void setProgramLocation(JvmCfaNode programLocation)

从接口复制的说明: ProgramLocationDependent

Sets the program location.

指定者:

setProgramLocation 在接口中 ProgramLocationDependent

getSourceReachedSet

public ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> getSourceReachedSet()

从接口复制的说明: BamLocationDependent

Returns the reached set the abstract state belongs to.

指定者:

getSourceReachedSet 在接口中 BamLocationDependent<ContentT extends AbstractState<ContentT>>

setSourceReachedSet

public void setSourceReachedSet(ProgramLocationDependentReachedSet<JvmAbstractState<ContentT>> sourceReachedSet)

从接口复制的说明: BamLocationDependent

Sets the reached set the abstract state belongs to.

指定者:

setSourceReachedSet 在接口中 BamLocationDependent<ContentT extends AbstractState<ContentT>>

addSourceLocation

public void addSourceLocation(BamLocationDependentJvmMemoryLocation<ContentT> sourceLocation)

Adds a source location to the source set.

getSourceLocations

public java.util.Set<BamLocationDependentJvmMemoryLocation<ContentT>> getSourceLocations()

Returns the source set.

copy

public JvmMemoryLocationAbstractState<ContentT> copy()

从接口复制的说明: AbstractState

Creates a copy of itself.

指定者:

copy 在接口中 AbstractState<ContentT extends AbstractState<ContentT>>

equals

public boolean equals(java.lang.Object obj)

指定者:

equals 在接口中 AbstractState<ContentT extends AbstractState<ContentT>>

覆盖:

equals 在类中 java.lang.Object

hashCode

public int hashCode()

指定者:

hashCode 在接口中 AbstractState<ContentT extends AbstractState<ContentT>>

覆盖:

hashCode 在类中 java.lang.Object

top

public static <ContentT extends AbstractState<ContentT>> JvmMemoryLocationAbstractState<ContentT> top()

Get the top state of the semi lattice for the given content type.

类型参数:

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.