类的使用
soot.jimple.infoflow.data.AbstractionAtSink

使用AbstractionAtSink的程序包

程序包	说明
soot.jimple.infoflow.data.pathBuilders
soot.jimple.infoflow.problems

soot.jimple.infoflow.data.pathBuilders中AbstractionAtSink的使用

参数类型为AbstractionAtSink的soot.jimple.infoflow.data.pathBuilders中的方法

限定符和类型	方法和说明
protected abstract Runnable	ConcurrentAbstractionPathBuilder.getTaintPathTask(AbstractionAtSink abs) Gets the task that computes the result paths for a single abstraction.
protected Runnable	ContextInsensitiveSourceFinder.getTaintPathTask(AbstractionAtSink abs)
protected Runnable	ContextSensitivePathBuilder.getTaintPathTask(AbstractionAtSink abs)
protected Runnable	ContextInsensitivePathBuilder.getTaintPathTask(AbstractionAtSink abs)

类型变量类型为AbstractionAtSink的soot.jimple.infoflow.data.pathBuilders中的方法参数

限定符和类型	方法和说明
void	ConcurrentAbstractionPathBuilder.computeTaintPaths(Set<AbstractionAtSink> res)
void	EmptyPathBuilder.computeTaintPaths(Set<AbstractionAtSink> res)
void	ContextInsensitiveSourceFinder.computeTaintPaths(Set<AbstractionAtSink> res)
void	IAbstractionPathBuilder.computeTaintPaths(Set<AbstractionAtSink> res) Computes the path of tainted data between the source and the sink
void	BatchPathBuilder.computeTaintPaths(Set<AbstractionAtSink> res)
void	ContextSensitivePathBuilder.computeTaintPaths(Set<AbstractionAtSink> res)
void	RecursivePathBuilder.computeTaintPaths(Set<AbstractionAtSink> res)

soot.jimple.infoflow.problems中AbstractionAtSink的使用

类型参数类型为AbstractionAtSink的soot.jimple.infoflow.problems中的字段

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

返回变量类型为AbstractionAtSink的类型的soot.jimple.infoflow.problems中的方法

限定符和类型	方法和说明
Set<AbstractionAtSink>	TaintPropagationResults.getResults() Gets all results collected in this data object

参数类型为AbstractionAtSink的soot.jimple.infoflow.problems中的方法

限定符和类型	方法和说明
boolean	TaintPropagationResults.addResult(AbstractionAtSink resultAbs) Adds a new result of the data flow analysis to the collection
boolean	TaintPropagationResults.OnTaintPropagationResultAdded.onResultAvailable(AbstractionAtSink abs) Called when a new abstraction has reached a sink statement