soot.jimple.infoflow.sourcesSinks.manager

接口 ISourceSinkManager

所有已知实现类:

BaseSourceSinkManager, DefaultSourceSinkManager, EmptySourceSinkManager, MethodBasedSourceSinkManager

public interface ISourceSinkManager

the SourceSinkManager can tell if a statement contains a source or a sink

方法概要

限定符和类型	方法和说明
SinkInfo	getSinkInfo(soot.jimple.Stmt sCallSite, InfoflowManager manager, AccessPath ap) Checks if the given access path at this statement will leak.
SourceInfo	getSourceInfo(soot.jimple.Stmt sCallSite, InfoflowManager manager) Determines if a method called by the Stmt is a source method or not.
void	initialize() Initialization method that is called after the Soot instance has been created and before the actual data flow tracking is started.

方法详细资料

initialize

void initialize()

Initialization method that is called after the Soot instance has been created and before the actual data flow tracking is started.

getSourceInfo

SourceInfo getSourceInfo(soot.jimple.Stmt sCallSite,
                         InfoflowManager manager)

Determines if a method called by the Stmt is a source method or not. If so, additional information is returned

参数:

sCallSite - a Stmt which should include an invokeExrp calling a method

manager - The manager object for interacting with the solver

返回:

A SourceInfo object containing additional information if this call is a source, otherwise null

getSinkInfo

SinkInfo getSinkInfo(soot.jimple.Stmt sCallSite,
                     InfoflowManager manager,
                     AccessPath ap)

Checks if the given access path at this statement will leak.

参数:

sCallSite - The call site to check

manager - The manager object for interacting with the solver

ap - The access path to check. Pass null to check whether the given statement can be a sink for any given access path.

返回:

A SinkInfo object containing additional information if this call is a sink, otherwise null