| 程序包 | 说明 |
|---|---|
| soot.jimple.infoflow | |
| soot.jimple.infoflow.aliasing |
| 限定符和类型 | 方法和说明 |
|---|---|
protected Aliasing |
Infoflow.createAliasController(IAliasingStrategy aliasingStrategy)
Creates the controller object that handles aliasing operations.
|
| 限定符和类型 | 类和说明 |
|---|---|
class |
AbstractAliasStrategy
Common base class for alias strategies
|
class |
AbstractBulkAliasStrategy |
class |
AbstractInteractiveAliasStrategy |
class |
FlowSensitiveAliasStrategy
A fully flow-sensitive aliasing strategy
|
class |
ImplicitFlowAliasStrategy
Aliasing strategy to be used for conditionally-called methods when analyzing
implicit flows
|
class |
LazyAliasingStrategy
Aliasing strategy that relies on taints being propagated everywhere for true
lazy alias checking
|
class |
NullAliasStrategy
Aliasing strategy that does nothing beyond comparing access paths based on
equality
|
class |
PtsBasedAliasStrategy
A simple points-to-based aliasing strategy for FlowDroid
|
| 限定符和类型 | 方法和说明 |
|---|---|
IAliasingStrategy |
Aliasing.getAliasingStrategy() |
| 构造器和说明 |
|---|
Aliasing(IAliasingStrategy aliasingStrategy,
InfoflowManager manager) |
Copyright © 2022 Fraunhofer SIT. All rights reserved.