| 程序包 | 说明 |
|---|---|
| soot.jimple.infoflow |
| 限定符和类型 | 方法和说明 |
|---|---|
GlobalTaintManager |
InfoflowManager.getGlobalTaintManager()
Gets the manager object for handling global taints outside of the IFDS solver
|
| 限定符和类型 | 方法和说明 |
|---|---|
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
|
| 构造器和说明 |
|---|
InfoflowManager(InfoflowConfiguration config,
IInfoflowSolver forwardSolver,
IInfoflowCFG icfg,
ISourceSinkManager sourceSinkManager,
ITaintPropagationWrapper taintWrapper,
soot.FastHierarchy hierarchy,
AccessPathFactory accessPathFactory,
GlobalTaintManager globalTaintManager) |
Copyright © 2022 Fraunhofer SIT. All rights reserved.