soot.jimple.infoflow.globalTaints

类 GlobalTaintManager

java.lang.Object

soot.jimple.infoflow.globalTaints.GlobalTaintManager

public class GlobalTaintManager
extends Object

Manager class for storing and processing global taints, i.e., taints that shall be valid regardless of context and statement. This class is useful for handling field-based taints outside of IFDS.

作者:

Steven Arzt

构造器概要

构造器

构造器和说明
GlobalTaintManager(Set<IInfoflowSolver> solvers)

方法概要

限定符和类型	方法和说明
boolean	addToGlobalTaintState(Abstraction abs) Adds an abstraction to the global taint state.

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

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

构造器详细资料

GlobalTaintManager

public GlobalTaintManager(Set<IInfoflowSolver> solvers)

方法详细资料

addToGlobalTaintState

public boolean addToGlobalTaintState(Abstraction abs)

Adds an abstraction to the global taint state. The global taint models taint abstractions that shall be valid regardless of context and statement. This feature can be used to handle, e.g., field-based data flow analyses for static fields.

参数:

abs - The abstraction to add to the global taint state

返回:

True if the abstraction was added, false if an equal abstraction has been recorded before