soot.jimple.infoflow.sourcesSinks.manager

类 MethodBasedSourceSinkManager

java.lang.Object

soot.jimple.infoflow.sourcesSinks.manager.MethodBasedSourceSinkManager

所有已实现的接口:

ISourceSinkManager

直接已知子类:

EmptySourceSinkManager

public abstract class MethodBasedSourceSinkManager
extends Object
implements ISourceSinkManager

Abstracts from the very generic statement-based SourceSinkManager so that users can conveniently work on the called methods instead of having to analyze the call statement every time

作者:

Steven Arzt

构造器概要

构造器

构造器和说明
MethodBasedSourceSinkManager()

方法概要

限定符和类型	方法和说明
SinkInfo	getSinkInfo(soot.jimple.Stmt sCallSite, InfoflowManager manager, AccessPath ap) Checks if the given access path at this statement will leak.
abstract SinkInfo	getSinkMethodInfo(soot.SootMethod method)
SourceInfo	getSourceInfo(soot.jimple.Stmt sCallSite, InfoflowManager manager) Determines if a method called by the Stmt is a source method or not.
abstract SourceInfo	getSourceMethodInfo(soot.SootMethod method)
protected boolean	typeIsString(soot.Type type)

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

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

从接口继承的方法 soot.jimple.infoflow.sourcesSinks.manager.ISourceSinkManager

initialize

构造器详细资料

MethodBasedSourceSinkManager

public MethodBasedSourceSinkManager()

方法详细资料

getSourceMethodInfo

public abstract SourceInfo getSourceMethodInfo(soot.SootMethod method)

getSinkMethodInfo

public abstract SinkInfo getSinkMethodInfo(soot.SootMethod method)

getSourceInfo

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

从接口复制的说明: ISourceSinkManager

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

指定者:

getSourceInfo 在接口中 ISourceSinkManager

参数:

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

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

从接口复制的说明: ISourceSinkManager

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

指定者:

getSinkInfo 在接口中 ISourceSinkManager

参数:

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

typeIsString

protected boolean typeIsString(soot.Type type)