| 程序包 | 说明 |
|---|---|
| soot.jimple.infoflow.solver | |
| soot.jimple.infoflow.solver.fastSolver | |
| soot.jimple.infoflow.solver.fastSolver.flowInsensitive | |
| soot.jimple.infoflow.solver.gcSolver |
| 限定符和类型 | 方法和说明 |
|---|---|
static PredecessorShorteningMode |
PredecessorShorteningMode.valueOf(String name)
返回带有指定名称的该类型的枚举常量。
|
static PredecessorShorteningMode[] |
PredecessorShorteningMode.values()
按照声明该枚举类型的常量的顺序, 返回
包含这些常量的数组。
|
| 限定符和类型 | 方法和说明 |
|---|---|
void |
IInfoflowSolver.setPredecessorShorteningMode(PredecessorShorteningMode mode)
Sets whether abstractions on method returns shall be connected to the
respective call abstractions to shortcut paths.
|
| 限定符和类型 | 字段和说明 |
|---|---|
protected PredecessorShorteningMode |
IFDSSolver.shorteningMode |
| 限定符和类型 | 方法和说明 |
|---|---|
void |
IFDSSolver.setPredecessorShorteningMode(PredecessorShorteningMode mode)
Sets whether abstractions on method returns shall be connected to the
respective call abstractions to shortcut paths.
|
| 限定符和类型 | 字段和说明 |
|---|---|
protected PredecessorShorteningMode |
FlowInsensitiveSolver.shorteningMode |
| 限定符和类型 | 方法和说明 |
|---|---|
void |
FlowInsensitiveSolver.setPredecessorShorteningMode(PredecessorShorteningMode mode)
Sets whether abstractions on method returns shall be connected to the
respective call abstractions to shortcut paths.
|
| 限定符和类型 | 字段和说明 |
|---|---|
protected PredecessorShorteningMode |
IFDSSolver.shorteningMode |
| 限定符和类型 | 方法和说明 |
|---|---|
void |
IFDSSolver.setPredecessorShorteningMode(PredecessorShorteningMode mode)
Sets whether abstractions on method returns shall be connected to the
respective call abstractions to shortcut paths.
|
Copyright © 2022 Fraunhofer SIT. All rights reserved.