| 程序包 | 说明 |
|---|---|
| soot.jimple.infoflow |
| 限定符和类型 | 方法和说明 |
|---|---|
InfoflowConfiguration.SolverConfiguration |
InfoflowConfiguration.getSolverConfiguration()
Gets the configuration for the core IFDS data flow solver
|
| 限定符和类型 | 方法和说明 |
|---|---|
protected IInfoflowSolver |
Infoflow.createDataFlowSolver(InterruptableExecutor executor,
AbstractInfoflowProblem problem,
InfoflowConfiguration.SolverConfiguration solverConfig)
Creates the instance of the data flow solver
|
void |
InfoflowConfiguration.SolverConfiguration.merge(InfoflowConfiguration.SolverConfiguration solverConfig)
Copies the settings of the given configuration into this configuration object
|
Copyright © 2022 Fraunhofer SIT. All rights reserved.