| 限定符和类型 | 字段和说明 |
|---|---|
protected InfoflowConfiguration |
AbstractInfoflow.config |
| 限定符和类型 | 方法和说明 |
|---|---|
InfoflowConfiguration |
InfoflowManager.getConfig()
Gets the configuration for this data flow analysis
|
InfoflowConfiguration |
AbstractInfoflow.getConfig() |
InfoflowConfiguration |
IInfoflow.getConfig()
Gets the configuration to be used for the data flow analysis
|
| 限定符和类型 | 方法和说明 |
|---|---|
void |
InfoflowConfiguration.merge(InfoflowConfiguration config)
Merges the given configuration options into this configuration object
|
void |
AbstractInfoflow.setConfig(InfoflowConfiguration config) |
void |
IInfoflow.setConfig(InfoflowConfiguration config)
Sets the configuration to be used for the data flow analysis
|
| 构造器和说明 |
|---|
InfoflowManager(InfoflowConfiguration config,
IInfoflowSolver forwardSolver,
IInfoflowCFG icfg,
ISourceSinkManager sourceSinkManager,
ITaintPropagationWrapper taintWrapper,
soot.FastHierarchy hierarchy,
AccessPathFactory accessPathFactory,
GlobalTaintManager globalTaintManager) |
| 限定符和类型 | 方法和说明 |
|---|---|
void |
DeadCodeEliminator.initialize(InfoflowConfiguration config) |
void |
ICodeOptimizer.initialize(InfoflowConfiguration config)
Initializes the code optimizer.
|
| 限定符和类型 | 方法和说明 |
|---|---|
void |
IInfoflowConfig.setSootOptions(soot.options.Options options,
InfoflowConfiguration config)
Configure Soot options (Be careful, wrong options can corrupt the
analysis results!)
|
| 限定符和类型 | 方法和说明 |
|---|---|
static void |
Abstraction.initialize(InfoflowConfiguration config)
Initializes the configuration for building new abstractions
|
| 构造器和说明 |
|---|
AccessPathFactory(InfoflowConfiguration config)
Creates a new instance of the
AccessPathFactory class |
| 限定符和类型 | 字段和说明 |
|---|---|
protected InfoflowConfiguration |
InfoflowResultsSerializer.config |
| 构造器和说明 |
|---|
InfoflowResultsSerializer(IInfoflowCFG cfg,
InfoflowConfiguration config)
Creates a new instance of the InfoflowResultsSerializer class
|
InfoflowResultsSerializer(InfoflowConfiguration config)
Creates a new instance of the InfoflowResultsSerializer class
|
| 构造器和说明 |
|---|
BaseSourceSinkManager(Collection<? extends ISourceSinkDefinition> sources,
Collection<? extends ISourceSinkDefinition> sinks,
InfoflowConfiguration config)
Creates a new instance of the
BaseSourceSinkManager class with either
strong or weak matching. |
BaseSourceSinkManager(Collection<? extends ISourceSinkDefinition> sources,
Collection<? extends ISourceSinkDefinition> sinks,
Set<? extends CallbackDefinition> callbackMethods,
InfoflowConfiguration config)
Creates a new instance of the
BaseSourceSinkManager class with strong
matching, i.e. the methods in the code must exactly match those in the list. |
| 限定符和类型 | 方法和说明 |
|---|---|
InterruptableExecutor |
IExecutorFactory.createExecutor(int numThreads,
boolean allowSetSemantics,
InfoflowConfiguration config)
Creates a new executor object for spawning worker threads
|
InterruptableExecutor |
DefaultExecutorFactory.createExecutor(int numThreads,
boolean allowSetSemantics,
InfoflowConfiguration config) |
Copyright © 2022 Fraunhofer SIT. All rights reserved.