| 程序包 | 说明 |
|---|---|
| soot.jimple.infoflow.data | |
| soot.jimple.infoflow.solver.cfg |
| 限定符和类型 | 字段和说明 |
|---|---|
protected List<IInfoflowCFG.UnitContainer> |
Abstraction.postdominators
The postdominators we need to pass in order to leave the current conditional
branch.
|
| 限定符和类型 | 方法和说明 |
|---|---|
IInfoflowCFG.UnitContainer |
Abstraction.getTopPostdominator() |
| 限定符和类型 | 方法和说明 |
|---|---|
Abstraction |
Abstraction.deriveConditionalAbstractionEnter(IInfoflowCFG.UnitContainer postdom,
soot.jimple.Stmt conditionalUnit) |
| 限定符和类型 | 字段和说明 |
|---|---|
protected com.google.common.cache.LoadingCache<soot.Unit,IInfoflowCFG.UnitContainer> |
InfoflowCFG.unitToPostdominator |
| 限定符和类型 | 方法和说明 |
|---|---|
IInfoflowCFG.UnitContainer |
IInfoflowCFG.getPostdominatorOf(soot.Unit u)
Gets the postdominator of the given unit.
|
IInfoflowCFG.UnitContainer |
InfoflowCFG.getPostdominatorOf(soot.Unit u) |
IInfoflowCFG.UnitContainer |
BackwardsInfoflowCFG.getPostdominatorOf(soot.Unit u) |
Copyright © 2022 Fraunhofer SIT. All rights reserved.