| 程序包 | 说明 |
|---|---|
| soot.jimple.infoflow | |
| soot.jimple.infoflow.problems | |
| soot.jimple.infoflow.problems.rules |
| 限定符和类型 | 字段和说明 |
|---|---|
protected IPropagationRuleManagerFactory |
Infoflow.ruleManagerFactory |
| 限定符和类型 | 方法和说明 |
|---|---|
void |
Infoflow.setPropagationRuleManagerFactory(IPropagationRuleManagerFactory ruleManagerFactory) |
void |
IInfoflow.setPropagationRuleManagerFactory(IPropagationRuleManagerFactory ruleManagerFactory)
Sets the factory to be used for creating the propagation rule manager, which
can then add features to the core data flow engine
|
| 构造器和说明 |
|---|
InfoflowProblem(InfoflowManager manager,
Abstraction zeroValue,
IPropagationRuleManagerFactory ruleManagerFactory) |
| 限定符和类型 | 类和说明 |
|---|---|
class |
DefaultPropagationRuleManagerFactory
Default implementation of the
IPropagationRuleManagerFactory class |
Copyright © 2022 Fraunhofer SIT. All rights reserved.