soot.jimple.infoflow.solver.memory

接口 IMemoryManager<D,N>

所有已知实现类:

FlowDroidMemoryManager

public interface IMemoryManager<D,N>

Common interface of all memory managers that can be used with FlowDroid's solvers. Note that not every solver is required to support memory managers.

作者:

Steven Arzt

方法概要

限定符和类型	方法和说明
D	handleGeneratedMemoryObject(D input, D output) Tells the memory manager to optimize the given generated object.
D	handleMemoryObject(D obj) Tells the memory manager to handle the given object.
boolean	isEssentialJoinPoint(D abs, N relatedCallSite) Checks whether the given abstraction at the given call site is essential and must be kept.

方法详细资料

handleMemoryObject

D handleMemoryObject(D obj)

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

参数:

obj - The object to handle

返回:

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

handleGeneratedMemoryObject

D handleGeneratedMemoryObject(D input,
                              D output)

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

参数:

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

isEssentialJoinPoint

boolean isEssentialJoinPoint(D abs,
                             N relatedCallSite)

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

参数:

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