| 程序包 | 说明 |
|---|---|
| soot.jimple.infoflow.handlers | |
| soot.jimple.infoflow.problems |
| 限定符和类型 | 方法和说明 |
|---|---|
static TaintPropagationHandler.FlowFunctionType |
TaintPropagationHandler.FlowFunctionType.valueOf(String name)
返回带有指定名称的该类型的枚举常量。
|
static TaintPropagationHandler.FlowFunctionType[] |
TaintPropagationHandler.FlowFunctionType.values()
按照声明该枚举类型的常量的顺序, 返回
包含这些常量的数组。
|
| 限定符和类型 | 方法和说明 |
|---|---|
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
|
| 限定符和类型 | 方法和说明 |
|---|---|
protected Set<Abstraction> |
AbstractInfoflowProblem.notifyOutFlowHandlers(soot.Unit stmt,
Abstraction d1,
Abstraction incoming,
Set<Abstraction> outgoing,
TaintPropagationHandler.FlowFunctionType functionType)
Notifies the outbound flow handlers, if any, about the computed result
abstractions for the current flow function
|
Copyright © 2022 Fraunhofer SIT. All rights reserved.