soot.jimple.infoflow.data

类 SourceContextAndPath

java.lang.Object

soot.jimple.infoflow.data.SourceContext

soot.jimple.infoflow.data.SourceContextAndPath

所有已实现的接口:

Cloneable

public class SourceContextAndPath
extends SourceContext
implements Cloneable

Extension of SourceContext that also allows a paths from the source to the current statement to be stored

作者:

Steven Arzt

字段概要

字段

限定符和类型	字段和说明
protected ExtensibleList<soot.jimple.Stmt>	callStack
protected int	neighborCounter
protected ExtensibleList<Abstraction>	path

从类继承的字段 soot.jimple.infoflow.data.SourceContext

accessPath, definition, stmt, userData

构造器概要

构造器

构造器和说明
SourceContextAndPath(ISourceSinkDefinition definition, AccessPath value, soot.jimple.Stmt stmt)
SourceContextAndPath(ISourceSinkDefinition definition, AccessPath value, soot.jimple.Stmt stmt, Object userData)

方法概要

限定符和类型	方法和说明
SourceContextAndPath	clone()
boolean	equals(Object other)
SourceContextAndPath	extendPath(Abstraction abs) Extends the taint propagation path with the given abstraction
SourceContextAndPath	extendPath(Abstraction abs, InfoflowConfiguration.PathConfiguration pathConfig) Extends the taint propagation path with the given abstraction
List<Abstraction>	getAbstractionPath()
int	getNeighborCounter()
List<soot.jimple.Stmt>	getPath()
int	hashCode()
boolean	isCallStackEmpty() Gets whether the current call stack is empty, i.e., the path is in the method from which it originated
heros.solver.Pair<SourceContextAndPath,soot.jimple.Stmt>	popTopCallStackItem() Pops the top item off the call stack.
void	setNeighborCounter(int counter)
String	toString()

从类继承的方法 soot.jimple.infoflow.data.SourceContext

getAccessPath, getDefinition, getStmt, getUserData

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

finalize, getClass, notify, notifyAll, wait, wait, wait

字段详细资料

path

protected ExtensibleList<Abstraction> path

callStack

protected ExtensibleList<soot.jimple.Stmt> callStack

neighborCounter

protected int neighborCounter

构造器详细资料

SourceContextAndPath

public SourceContextAndPath(ISourceSinkDefinition definition,
                            AccessPath value,
                            soot.jimple.Stmt stmt)

SourceContextAndPath

public SourceContextAndPath(ISourceSinkDefinition definition,
                            AccessPath value,
                            soot.jimple.Stmt stmt,
                            Object userData)

方法详细资料

getPath

public List<soot.jimple.Stmt> getPath()

getAbstractionPath

public List<Abstraction> getAbstractionPath()

extendPath

public SourceContextAndPath extendPath(Abstraction abs)

Extends the taint propagation path with the given abstraction

参数:

abs - The abstraction to put on the taint propagation path

返回:

The new taint propagation path If this path would contain a loop, null is returned instead of the looping path.

extendPath

public SourceContextAndPath extendPath(Abstraction abs,
                                       InfoflowConfiguration.PathConfiguration pathConfig)

Extends the taint propagation path with the given abstraction

参数:

abs - The abstraction to put on the taint propagation path

pathConfig - The configuration for constructing taint propagation paths

返回:

The new taint propagation path. If this path would contain a loop, null is returned instead of the looping path.

popTopCallStackItem

public heros.solver.Pair<SourceContextAndPath,soot.jimple.Stmt> popTopCallStackItem()

Pops the top item off the call stack.

返回:

The new SourceContextAndPath object as the first element of the pair and the call stack item that was popped off as the second element. If there is no call stack, null is returned.

isCallStackEmpty

public boolean isCallStackEmpty()

Gets whether the current call stack is empty, i.e., the path is in the method from which it originated

返回:

True if the call stack is empty, otherwise false

setNeighborCounter

public void setNeighborCounter(int counter)

getNeighborCounter

public int getNeighborCounter()

equals

public boolean equals(Object other)

覆盖:

equals 在类中 SourceContext

hashCode

public int hashCode()

覆盖:

hashCode 在类中 SourceContext

clone

public SourceContextAndPath clone()

覆盖:

clone 在类中 SourceContext

toString

public String toString()

覆盖:

toString 在类中 SourceContext