soot.jimple.infoflow.problems

类 TaintPropagationResults

java.lang.Object

soot.jimple.infoflow.problems.TaintPropagationResults

public class TaintPropagationResults
extends Object

Class for storing the results of the forward taint propagation

作者:

Steven Arzt

嵌套类概要

嵌套类

限定符和类型	类和说明
static interface	TaintPropagationResults.OnTaintPropagationResultAdded Handler interface that is invoked when new taint propagation results are added to the result object

字段概要

字段

限定符和类型	字段和说明
protected InfoflowManager	manager
protected Set<TaintPropagationResults.OnTaintPropagationResultAdded>	resultAddedHandlers
protected MyConcurrentHashMap<AbstractionAtSink,Abstraction>	results

方法概要

限定符和类型	方法和说明
boolean	addResult(AbstractionAtSink resultAbs) Adds a new result of the data flow analysis to the collection
void	addResultAvailableHandler(TaintPropagationResults.OnTaintPropagationResultAdded handler) Adds a new handler that is invoked when a new data flow result is added to this data object
boolean	equals(Object obj)
Set<AbstractionAtSink>	getResults() Gets all results collected in this data object
int	hashCode()
boolean	isEmpty() Checks whether this result object is empty
int	size() Gets the number of taint abstractions in this result object
String	toString()

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

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

字段详细资料

manager

protected final InfoflowManager manager

results

protected final MyConcurrentHashMap<AbstractionAtSink,Abstraction> results

resultAddedHandlers

protected final Set<TaintPropagationResults.OnTaintPropagationResultAdded> resultAddedHandlers

方法详细资料

addResult

public boolean addResult(AbstractionAtSink resultAbs)

Adds a new result of the data flow analysis to the collection

参数:

resultAbs - The abstraction at the sink instruction

返回:

True if the data flow analysis shall continue, otherwise false

isEmpty

public boolean isEmpty()

Checks whether this result object is empty

返回:

True if this result object is empty, i.e., there are no results yet, otherwise false

getResults

public Set<AbstractionAtSink> getResults()

Gets all results collected in this data object

返回:

All data flow results collected in this object

addResultAvailableHandler

public void addResultAvailableHandler(TaintPropagationResults.OnTaintPropagationResultAdded handler)

Adds a new handler that is invoked when a new data flow result is added to this data object

参数:

handler - The handler implementation to add

size

public int size()

Gets the number of taint abstractions in this result object

返回:

The number of taint abstractions in this result object

hashCode

public int hashCode()

覆盖:

hashCode 在类中 Object

equals

public boolean equals(Object obj)

覆盖:

equals 在类中 Object

toString

public String toString()

覆盖:

toString 在类中 Object