类的使用
soot.jimple.infoflow.InfoflowManager

使用InfoflowManager的程序包

程序包	说明
soot.jimple.infoflow
soot.jimple.infoflow.aliasing
soot.jimple.infoflow.codeOptimization
soot.jimple.infoflow.data.pathBuilders
soot.jimple.infoflow.handlers
soot.jimple.infoflow.nativeCallHandler
soot.jimple.infoflow.problems
soot.jimple.infoflow.problems.rules
soot.jimple.infoflow.sourcesSinks.definitions
soot.jimple.infoflow.sourcesSinks.manager
soot.jimple.infoflow.taintWrappers
soot.jimple.infoflow.util

soot.jimple.infoflow中InfoflowManager的使用

声明为InfoflowManager的soot.jimple.infoflow中的字段

限定符和类型	字段和说明
protected InfoflowManager	Infoflow.manager

返回InfoflowManager的soot.jimple.infoflow中的方法

限定符和类型	方法和说明
protected InfoflowManager	Infoflow.initializeInfoflowManager(ISourceSinkManager sourcesSinks, IInfoflowCFG iCfg, GlobalTaintManager globalTaintManager) Initializes the data flow manager with which propagation rules can interact with the data flow engine

soot.jimple.infoflow.aliasing中InfoflowManager的使用

声明为InfoflowManager的soot.jimple.infoflow.aliasing中的字段

限定符和类型	字段和说明
protected InfoflowManager	AbstractAliasStrategy.manager

参数类型为InfoflowManager的soot.jimple.infoflow.aliasing中的构造器

构造器和说明
AbstractAliasStrategy(InfoflowManager manager)
AbstractBulkAliasStrategy(InfoflowManager manager)
AbstractInteractiveAliasStrategy(InfoflowManager manager)
Aliasing(IAliasingStrategy aliasingStrategy, InfoflowManager manager)
FlowSensitiveAliasStrategy(InfoflowManager manager, IInfoflowSolver backwardsSolver)
ImplicitFlowAliasStrategy(InfoflowManager manager)
LazyAliasingStrategy(InfoflowManager manager)
PtsBasedAliasStrategy(InfoflowManager manager)

soot.jimple.infoflow.codeOptimization中InfoflowManager的使用

参数类型为InfoflowManager的soot.jimple.infoflow.codeOptimization中的方法

限定符和类型	方法和说明
void	DeadCodeEliminator.run(InfoflowManager manager, Collection<soot.SootMethod> entryPoints, ISourceSinkManager sourcesSinks, ITaintPropagationWrapper taintWrapper)
void	ICodeOptimizer.run(InfoflowManager manager, Collection<soot.SootMethod> entryPoints, ISourceSinkManager sourcesSinks, ITaintPropagationWrapper taintWrapper) Runs the coe optimization

参数类型为InfoflowManager的soot.jimple.infoflow.codeOptimization中的构造器

构造器和说明
InterproceduralConstantValuePropagator(InfoflowManager manager) Creates a new instance of the InterproceduralConstantValuePropagator class
InterproceduralConstantValuePropagator(InfoflowManager manager, Collection<soot.SootMethod> excludedMethods, ISourceSinkManager sourceSinkManager, ITaintPropagationWrapper taintWrapper) Creates a new instance of the InterproceduralConstantValuePropagator class

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

声明为InfoflowManager的soot.jimple.infoflow.data.pathBuilders中的字段

限定符和类型	字段和说明
protected InfoflowManager	AbstractAbstractionPathBuilder.manager

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

限定符和类型	方法和说明
IAbstractionPathBuilder	DefaultPathBuilderFactory.createPathBuilder(InfoflowManager manager, int maxThreadNum)
IAbstractionPathBuilder	IPathBuilderFactory.createPathBuilder(InfoflowManager manager, int maxThreadNum) Creates a new path builder.
IAbstractionPathBuilder	DefaultPathBuilderFactory.createPathBuilder(InfoflowManager manager, InterruptableExecutor executor)
IAbstractionPathBuilder	IPathBuilderFactory.createPathBuilder(InfoflowManager manager, InterruptableExecutor executor) Creates a new path builder.

参数类型为InfoflowManager的soot.jimple.infoflow.data.pathBuilders中的构造器

构造器和说明
AbstractAbstractionPathBuilder(InfoflowManager manager) Creates a new instance of the AbstractAbstractionPathBuilder class
BatchPathBuilder(InfoflowManager manager, IAbstractionPathBuilder innerBuilder)
ConcurrentAbstractionPathBuilder(InfoflowManager manager, InterruptableExecutor executor)
ContextInsensitivePathBuilder(InfoflowManager manager, InterruptableExecutor executor) Creates a new instance of the ContextSensitivePathBuilder class
ContextInsensitiveSourceFinder(InfoflowManager manager, InterruptableExecutor executor) Creates a new instance of the ContextInsensitiveSourceFinder class
ContextInsensitiveSourceFinder(InfoflowManager manager, InterruptableExecutor executor, int numTasks) Creates a new instance of the ContextInsensitiveSourceFinder class
ContextSensitivePathBuilder(InfoflowManager manager) Creates a new instance of the ContextSensitivePathBuilder class
RecursivePathBuilder(InfoflowManager manager, heros.solver.CountingThreadPoolExecutor executor) Creates a new instance of the RecursivePathBuilder class

soot.jimple.infoflow.handlers中InfoflowManager的使用

参数类型为InfoflowManager的soot.jimple.infoflow.handlers中的方法

限定符和类型	方法和说明
void	SequentialTaintPropagationHandler.notifyFlowIn(soot.Unit stmt, Abstraction taint, InfoflowManager manager, TaintPropagationHandler.FlowFunctionType type)
void	TaintPropagationHandler.notifyFlowIn(soot.Unit stmt, Abstraction taint, InfoflowManager manager, TaintPropagationHandler.FlowFunctionType type) Handler function that is invoked when a taint is proagated in the data flow engine
Set<Abstraction>	SequentialTaintPropagationHandler.notifyFlowOut(soot.Unit stmt, Abstraction d1, Abstraction incoming, Set<Abstraction> outgoing, InfoflowManager manager, TaintPropagationHandler.FlowFunctionType type)
Set<Abstraction>	TaintPropagationHandler.notifyFlowOut(soot.Unit stmt, Abstraction d1, Abstraction incoming, Set<Abstraction> outgoing, InfoflowManager manager, TaintPropagationHandler.FlowFunctionType type) Handler function that is invoked when a new taint is generated in the data flow engine

soot.jimple.infoflow.nativeCallHandler中InfoflowManager的使用

声明为InfoflowManager的soot.jimple.infoflow.nativeCallHandler中的字段

限定符和类型	字段和说明
protected InfoflowManager	AbstractNativeCallHandler.manager Data flow manager that gives access to internal solver objects

参数类型为InfoflowManager的soot.jimple.infoflow.nativeCallHandler中的方法

限定符和类型	方法和说明
void	INativeCallHandler.initialize(InfoflowManager manager) This method is called before the taint propagation is started to give the native call handler the chance to initialize required components once Soot is running, but before it is queried for the first time.
void	AbstractNativeCallHandler.initialize(InfoflowManager manager)

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

声明为InfoflowManager的soot.jimple.infoflow.problems中的字段

限定符和类型	字段和说明
protected InfoflowManager	AbstractInfoflowProblem.manager
protected InfoflowManager	TaintPropagationResults.manager

返回InfoflowManager的soot.jimple.infoflow.problems中的方法

限定符和类型	方法和说明
InfoflowManager	AbstractInfoflowProblem.getManager()

参数类型为InfoflowManager的soot.jimple.infoflow.problems中的构造器

构造器和说明
AbstractInfoflowProblem(InfoflowManager manager)
BackwardsInfoflowProblem(InfoflowManager manager)
InfoflowProblem(InfoflowManager manager, Abstraction zeroValue, IPropagationRuleManagerFactory ruleManagerFactory)

soot.jimple.infoflow.problems.rules中InfoflowManager的使用

声明为InfoflowManager的soot.jimple.infoflow.problems.rules中的字段

限定符和类型	字段和说明
protected InfoflowManager	AbstractTaintPropagationRule.manager
protected InfoflowManager	PropagationRuleManager.manager

返回InfoflowManager的soot.jimple.infoflow.problems.rules中的方法

限定符和类型	方法和说明
protected InfoflowManager	AbstractTaintPropagationRule.getManager()

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

限定符和类型	方法和说明
PropagationRuleManager	IPropagationRuleManagerFactory.createRuleManager(InfoflowManager manager, Abstraction zeroValue, TaintPropagationResults results) Creates a propagation rule manager
PropagationRuleManager	DefaultPropagationRuleManagerFactory.createRuleManager(InfoflowManager manager, Abstraction zeroValue, TaintPropagationResults results)

参数类型为InfoflowManager的soot.jimple.infoflow.problems.rules中的构造器

构造器和说明
AbstractTaintPropagationRule(InfoflowManager manager, Abstraction zeroValue, TaintPropagationResults results)
ArrayPropagationRule(InfoflowManager manager, Abstraction zeroValue, TaintPropagationResults results)
ExceptionPropagationRule(InfoflowManager manager, Abstraction zeroValue, TaintPropagationResults results)
ImplicitPropagtionRule(InfoflowManager manager, Abstraction zeroValue, TaintPropagationResults results)
PropagationRuleManager(InfoflowManager manager, Abstraction zeroValue, TaintPropagationResults results)
SinkPropagationRule(InfoflowManager manager, Abstraction zeroValue, TaintPropagationResults results)
SkipSystemClassRule(InfoflowManager manager, Abstraction zeroValue, TaintPropagationResults results)
SourcePropagationRule(InfoflowManager manager, Abstraction zeroValue, TaintPropagationResults results)
StaticPropagationRule(InfoflowManager manager, Abstraction zeroValue, TaintPropagationResults results)
StopAfterFirstKFlowsPropagationRule(InfoflowManager manager, Abstraction zeroValue, TaintPropagationResults results)
StrongUpdatePropagationRule(InfoflowManager manager, Abstraction zeroValue, TaintPropagationResults results)
TypingPropagationRule(InfoflowManager manager, Abstraction zeroValue, TaintPropagationResults results)
WrapperPropagationRule(InfoflowManager manager, Abstraction zeroValue, TaintPropagationResults results)

soot.jimple.infoflow.sourcesSinks.definitions中InfoflowManager的使用

参数类型为InfoflowManager的soot.jimple.infoflow.sourcesSinks.definitions中的方法

限定符和类型	方法和说明
AccessPath	AccessPathTuple.toAccessPath(soot.Value baseVal, InfoflowManager manager, boolean canHaveImmutableAliases) Creates an access path from an access path definition object

soot.jimple.infoflow.sourcesSinks.manager中InfoflowManager的使用

参数类型为InfoflowManager的soot.jimple.infoflow.sourcesSinks.manager中的方法

限定符和类型	方法和说明
protected SourceInfo	BaseSourceSinkManager.createSourceInfo(soot.jimple.Stmt sCallSite, InfoflowManager manager, ISourceSinkDefinition def)
protected ISourceSinkDefinition	BaseSourceSinkManager.getSinkDefinition(soot.jimple.Stmt sCallSite, InfoflowManager manager, AccessPath ap) Gets the sink definition for the given call site and tainted access path
SinkInfo	MethodBasedSourceSinkManager.getSinkInfo(soot.jimple.Stmt sCallSite, InfoflowManager manager, AccessPath ap)
SinkInfo	BaseSourceSinkManager.getSinkInfo(soot.jimple.Stmt sCallSite, InfoflowManager manager, AccessPath ap)
SinkInfo	DefaultSourceSinkManager.getSinkInfo(soot.jimple.Stmt sCallSite, InfoflowManager manager, AccessPath ap)
SinkInfo	ISourceSinkManager.getSinkInfo(soot.jimple.Stmt sCallSite, InfoflowManager manager, AccessPath ap) Checks if the given access path at this statement will leak.
SourceInfo	MethodBasedSourceSinkManager.getSourceInfo(soot.jimple.Stmt sCallSite, InfoflowManager manager)
SourceInfo	BaseSourceSinkManager.getSourceInfo(soot.jimple.Stmt sCallSite, InfoflowManager manager)
SourceInfo	DefaultSourceSinkManager.getSourceInfo(soot.jimple.Stmt sCallSite, InfoflowManager manager)
SourceInfo	ISourceSinkManager.getSourceInfo(soot.jimple.Stmt sCallSite, InfoflowManager manager) Determines if a method called by the Stmt is a source method or not.
protected SootMethodAndClass	DefaultSourceSinkManager.isSinkMethod(InfoflowManager manager, soot.jimple.Stmt sCallSite) Checks whether the given call sites invokes a sink method
protected boolean	DefaultSourceSinkManager.isSourceMethod(InfoflowManager manager, soot.jimple.Stmt sCallSite) Checks whether the given call sites invokes a source method

soot.jimple.infoflow.taintWrappers中InfoflowManager的使用

声明为InfoflowManager的soot.jimple.infoflow.taintWrappers中的字段

限定符和类型	字段和说明
protected InfoflowManager	AbstractTaintWrapper.manager Data flow manager that gives access to internal solver objects

参数类型为InfoflowManager的soot.jimple.infoflow.taintWrappers中的方法

限定符和类型	方法和说明
void	TaintWrapperList.initialize(InfoflowManager manager)
void	TaintWrapperSet.initialize(InfoflowManager manager)
void	AbstractTaintWrapper.initialize(InfoflowManager manager)
void	ITaintPropagationWrapper.initialize(InfoflowManager manager) This method is called before the taint propagation is started to give the taint wrapper the chance to initialize required components once Soot is running, but before it is queried for the first time.

soot.jimple.infoflow.util中InfoflowManager的使用

参数类型为InfoflowManager的soot.jimple.infoflow.util中的构造器

构造器和说明
TypeUtils(InfoflowManager manager)