soot.jimple.infoflow.data

类 FlowDroidMemoryManager

java.lang.Object

soot.jimple.infoflow.data.FlowDroidMemoryManager

所有已实现的接口:

IMemoryManager<Abstraction,soot.Unit>

public class FlowDroidMemoryManager
extends Object
implements IMemoryManager<Abstraction,soot.Unit>

Memory manager implementation for FlowDroid

作者:

Steven Arzt

嵌套类概要

嵌套类

限定符和类型	类和说明
static class	FlowDroidMemoryManager.PathDataErasureMode Supported modes that define which path tracking data shall be erased and which shall be kept

构造器概要

构造器

构造器和说明
FlowDroidMemoryManager() Constructs a new instance of the AccessPathManager class
FlowDroidMemoryManager(boolean tracingEnabled, FlowDroidMemoryManager.PathDataErasureMode erasePathData) Constructs a new instance of the AccessPathManager class

方法概要

限定符和类型	方法和说明
protected void	erasePathData(Abstraction output) Erases the statements recorded in the given abstraction if the solver has been configured to do so
int	getReuseCount() Gets the number of access paths that have been re-used through caching
Abstraction	handleGeneratedMemoryObject(Abstraction input, Abstraction output) Tells the memory manager to optimize the given generated object.
Abstraction	handleMemoryObject(Abstraction obj) Tells the memory manager to handle the given object.
boolean	isEssentialJoinPoint(Abstraction abs, soot.Unit relatedCallSite) Checks whether the given abstraction at the given call site is essential and must be kept.
void	setUseAbstractionCache(boolean useAbstractionCache) Sets whether the memory manager shall use the abstraction cache

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

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

构造器详细资料

FlowDroidMemoryManager

public FlowDroidMemoryManager()

Constructs a new instance of the AccessPathManager class

FlowDroidMemoryManager

public FlowDroidMemoryManager(boolean tracingEnabled,
                              FlowDroidMemoryManager.PathDataErasureMode erasePathData)

Constructs a new instance of the AccessPathManager class

参数:

tracingEnabled - True if performance tracing data shall be recorded

erasePathData - Specifies whether data for tracking paths (current statement, corresponding call site) shall be erased.

方法详细资料

getReuseCount

public int getReuseCount()

Gets the number of access paths that have been re-used through caching

返回:

The number of access paths that have been re-used through caching

handleMemoryObject

public Abstraction handleMemoryObject(Abstraction obj)

从接口复制的说明: IMemoryManager

Tells the memory manager to handle the given object. Implementations are free to replace the incoming object with a different reference.

指定者:

handleMemoryObject 在接口中 IMemoryManager<Abstraction,soot.Unit>

参数:

obj - The object to handle

返回:

The new reference that shall be used instead of the old one

handleGeneratedMemoryObject

public Abstraction handleGeneratedMemoryObject(Abstraction input,
                                               Abstraction output)

从接口复制的说明: IMemoryManager

Tells the memory manager to optimize the given generated object. The output was computed from the input object using a flow function.

指定者:

handleGeneratedMemoryObject 在接口中 IMemoryManager<Abstraction,soot.Unit>

参数:

input - The original input to the flow function

output - The output of the flow function

返回:

The new refrence to use instead of the original output

erasePathData

protected void erasePathData(Abstraction output)

Erases the statements recorded in the given abstraction if the solver has been configured to do so

参数:

output - The abstraction to optimize

setUseAbstractionCache

public void setUseAbstractionCache(boolean useAbstractionCache)

Sets whether the memory manager shall use the abstraction cache

参数:

useAbstractionCache - True if the abstraction cache shall be used, otherwise false

isEssentialJoinPoint

public boolean isEssentialJoinPoint(Abstraction abs,
                                    soot.Unit relatedCallSite)

从接口复制的说明: IMemoryManager

Checks whether the given abstraction at the given call site is essential and must be kept. Non-essential taint abstractions will not be registered as neighbors for join points if the "single join point abstraction" option is enabled

指定者:

isEssentialJoinPoint 在接口中 IMemoryManager<Abstraction,soot.Unit>

参数:

abs - The abstraction

relatedCallSite - The call site over which the abstraction is being propagated

返回:

True if the abstraction is essential and must be kept, otherwise false