soot.jimple.infoflow.problems.rules

类 DefaultPropagationRuleManagerFactory

java.lang.Object

soot.jimple.infoflow.problems.rules.DefaultPropagationRuleManagerFactory

所有已实现的接口:

IPropagationRuleManagerFactory

public class DefaultPropagationRuleManagerFactory
extends Object
implements IPropagationRuleManagerFactory

Default implementation of the IPropagationRuleManagerFactory class

作者:

Steven Arzt

构造器概要

构造器

构造器和说明
DefaultPropagationRuleManagerFactory()

方法概要

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

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

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

构造器详细资料

DefaultPropagationRuleManagerFactory

public DefaultPropagationRuleManagerFactory()

方法详细资料

createRuleManager

public PropagationRuleManager createRuleManager(InfoflowManager manager,
                                                Abstraction zeroValue,
                                                TaintPropagationResults results)

从接口复制的说明: IPropagationRuleManagerFactory

Creates a propagation rule manager

指定者:

createRuleManager 在接口中 IPropagationRuleManagerFactory

参数:

manager - The data flow manager for linking the various components of the data flow analyzer

zeroValue - The zero abstraction (the IFDS tautology)

results - The container that receives all detected flows

返回:

The new propagation rule manager