IInfoflow (soot-infoflow 2.10.4 API)

所有超级接口:

ITaintWrapperDataFlowAnalysis

所有已知实现类:

AbstractInfoflow, Infoflow
```
public interface IInfoflow
extends ITaintWrapperDataFlowAnalysis
```
interface for the main infoflow class

方法概要

所有方法实例方法抽象方法
限定符和类型	方法和说明
`void`	`abortAnalysis()` Aborts the data flow analysis.
`void`	`addResultsAvailableHandler(ResultsAvailableHandler handler)` Adds a handler that is called when information flow results are available
`void`	`computeInfoflow(String appPath, String libPath, Collection<String> entryPoints, Collection<String> sources, Collection<String> sinks)` Computes the information flow on a list of entry point methods.
`void`	`computeInfoflow(String appPath, String libPath, IEntryPointCreator entryPointCreator, ISourceSinkManager sourcesSinks)` Computes the information flow on a list of entry point methods.
`void`	`computeInfoflow(String appPath, String libPath, IEntryPointCreator entryPointCreator, List<String> sources, List<String> sinks)` Computes the information flow on a list of entry point methods.
`void`	`computeInfoflow(String appPath, String libPath, String entryPoint, Collection<String> sources, Collection<String> sinks)` Computes the information flow on a single method.
`void`	`computeInfoflow(String appPath, String libPath, String entryPoint, ISourceSinkManager sourcesSinks)` Computes the information flow on a single method.
`Set<soot.jimple.Stmt>`	`getCollectedSinks()` Gets the concrete set of sinks that have been collected in preparation for the taint analysis.
`Set<soot.jimple.Stmt>`	`getCollectedSources()` Gets the concrete set of sources that have been collected in preparation for the taint analysis.
`InfoflowConfiguration`	`getConfig()` Gets the configuration to be used for the data flow analysis
`InfoflowResults`	`getResults()` getResults returns the results found by the analysis
`boolean`	`isResultAvailable()` A result is available if the analysis has finished - so if this method returns false the analysis has not finished yet or was not started (e.g. no sources or sinks found)
`void`	`removeResultsAvailableHandler(ResultsAvailableHandler handler)` Removes a handler that is called when information flow results are available
`void`	`setBackwardsPropagationHandler(TaintPropagationHandler handler)` Sets a handler which is invoked whenever an alias is propagated backwards
`void`	`setConfig(InfoflowConfiguration config)` Sets the configuration to be used for the data flow analysis
`void`	`setExecutorFactory(IExecutorFactory executorFactory)` Sets the factory to be used for creating thread pool executors
`void`	`setIPCManager(IIPCManager ipcManager)`
`void`	`setMemoryManagerFactory(IMemoryManagerFactory factory)` Sets the factory to be used for creating memory managers
`void`	`setNativeCallHandler(INativeCallHandler handler)` Sets the handler class to be used for modeling the effects of native methods on the taint state
`void`	`setPathBuilderFactory(IPathBuilderFactory factory)` Sets the path builder factory to be used in subsequent data flow analyses
`void`	`setPostProcessors(Collection<? extends PostAnalysisHandler> postprocessors)` Sets the set of post-processors that shall be executed after the data flow analysis has finished
`void`	`setPreProcessors(Collection<? extends PreAnalysisHandler> preprocessors)` List of preprocessors that need to be executed in order before the information flow.
`void`	`setPropagationRuleManagerFactory(IPropagationRuleManagerFactory ruleManagerFactory)` Sets the factory to be used for creating the propagation rule manager, which can then add features to the core data flow engine
`void`	`setSootConfig(IInfoflowConfig config)` Sets the Soot configuration callback to be used for this analysis
`void`	`setTaintPropagationHandler(TaintPropagationHandler handler)` Sets a handler which is invoked whenever a taint is propagated

从接口继承的方法 soot.jimple.infoflow.taintWrappers.ITaintWrapperDataFlowAnalysis
getTaintWrapper, setTaintWrapper

- 方法详细资料
  - getConfig
```
InfoflowConfiguration getConfig()
```
    Gets the configuration to be used for the data flow analysis
    
    返回:
    
    The configuration to be used for the data flow analysis
  - setConfig
```
void setConfig(InfoflowConfiguration config)
```
    Sets the configuration to be used for the data flow analysis
    
    参数:
    
    config - The configuration to be used for the data flow analysis
  - setNativeCallHandler
```
void setNativeCallHandler(INativeCallHandler handler)
```
    Sets the handler class to be used for modeling the effects of native methods on the taint state
    
    参数:
    
    handler - The native call handler to use
  - setPreProcessors
```
void setPreProcessors(Collection<? extends PreAnalysisHandler> preprocessors)
```
    List of preprocessors that need to be executed in order before the information flow.
    
    参数:
    
    preprocessors - the pre-processors
  - setPostProcessors
```
void setPostProcessors(Collection<? extends PostAnalysisHandler> postprocessors)
```
    Sets the set of post-processors that shall be executed after the data flow analysis has finished
    
    参数:
    
    postprocessors - The post-processors to execute on the results
  - computeInfoflow
```
void computeInfoflow(String appPath,
                     String libPath,
                     IEntryPointCreator entryPointCreator,
                     List<String> sources,
                     List<String> sinks)
```
    Computes the information flow on a list of entry point methods. This list is used to construct an artificial main method following the Android life cycle for all methods that are detected to be part of Android's application infrastructure (e.g. android.app.Activity.onCreate)
    
    参数:
    
    appPath - The path containing the client program's files
    
    libPath - The path to the main folder of the (unpacked) library class files
    
    entryPointCreator - the entry point creator to use for generating the dummy main method
    
    sources - list of source class+method (as string conforms to SootMethod representation)
    
    sinks - list of sink class+method (as string conforms to SootMethod representation)
  - computeInfoflow
```
void computeInfoflow(String appPath,
                     String libPath,
                     Collection<String> entryPoints,
                     Collection<String> sources,
                     Collection<String> sinks)
```
    Computes the information flow on a list of entry point methods. This list is used to construct an artificial main method following the Android life cycle for all methods that are detected to be part of Android's application infrastructure (e.g. android.app.Activity.onCreate)
    
    参数:
    
    appPath - The path containing the client program's files
    
    libPath - the path to the main folder of the (unpacked) library class files
    
    entryPoints - the entryPoints (string conforms to SootMethod representation)
    
    sources - list of source class+method (as string conforms to SootMethod representation)
    
    sinks - list of sink class+method (as string conforms to SootMethod representation)
  - computeInfoflow
```
void computeInfoflow(String appPath,
                     String libPath,
                     String entryPoint,
                     Collection<String> sources,
                     Collection<String> sinks)
```
    Computes the information flow on a single method. This method is directly taken as the entry point into the program, even if it is an instance method.
    
    参数:
    
    appPath - The path containing the client program's files
    
    libPath - the path to the main folder of the (unpacked) library class files
    
    entryPoint - the main method to analyze
    
    sources - list of source class+method (as string conforms to SootMethod representation)
    
    sinks - list of sink class+method (as string conforms to SootMethod representation)
  - computeInfoflow
```
void computeInfoflow(String appPath,
                     String libPath,
                     IEntryPointCreator entryPointCreator,
                     ISourceSinkManager sourcesSinks)
```
    Computes the information flow on a list of entry point methods. This list is used to construct an artificial main method following the Android life cycle for all methods that are detected to be part of Android's application infrastructure (e.g. android.app.Activity.onCreate)
    
    参数:
    
    appPath - The path containing the client program's files
    
    libPath - the path to the main folder of the (unpacked) library class files
    
    entryPointCreator - the entry point creator to use for generating the dummy main method
    
    sourcesSinks - manager class for identifying sources and sinks in the source code
  - computeInfoflow
```
void computeInfoflow(String appPath,
                     String libPath,
                     String entryPoint,
                     ISourceSinkManager sourcesSinks)
```
    Computes the information flow on a single method. This method is directly taken as the entry point into the program, even if it is an instance method.
    
    参数:
    
    appPath - The path containing the client program's files
    
    libPath - the path to the main folder of the (unpacked) library class files
    
    entryPoint - the main method to analyze
    
    sourcesSinks - manager class for identifying sources and sinks in the source code
  - getResults
```
InfoflowResults getResults()
```
    getResults returns the results found by the analysis
    
    返回:
    
    the results
  - isResultAvailable
```
boolean isResultAvailable()
```
    A result is available if the analysis has finished - so if this method returns false the analysis has not finished yet or was not started (e.g. no sources or sinks found)
    
    返回:
    
    boolean that states if a result is available
  - setIPCManager
```
void setIPCManager(IIPCManager ipcManager)
```
  - setSootConfig
```
void setSootConfig(IInfoflowConfig config)
```
    Sets the Soot configuration callback to be used for this analysis
    
    参数:
    
    config - The configuration callback to be used for the analysis
  - setPathBuilderFactory
```
void setPathBuilderFactory(IPathBuilderFactory factory)
```
    Sets the path builder factory to be used in subsequent data flow analyses
    
    参数:
    
    factory - The path bilder factory to use for constructing path reconstruction algorithms
  - getCollectedSources
```
Set<soot.jimple.Stmt> getCollectedSources()
```
    Gets the concrete set of sources that have been collected in preparation for the taint analysis. This method will return null if source and sink logging has not been enabled (see InfoflowConfiguration. setLogSourcesAndSinks()),
    
    返回:
    
    The set of sources collected for taint analysis
  - getCollectedSinks
```
Set<soot.jimple.Stmt> getCollectedSinks()
```
    Gets the concrete set of sinks that have been collected in preparation for the taint analysis. This method will return null if source and sink logging has not been enabled (see InfoflowConfiguration. setLogSourcesAndSinks()),
    
    返回:
    
    The set of sinks collected for taint analysis
  - addResultsAvailableHandler
```
void addResultsAvailableHandler(ResultsAvailableHandler handler)
```
    Adds a handler that is called when information flow results are available
    
    参数:
    
    handler - The handler to add
  - removeResultsAvailableHandler
```
void removeResultsAvailableHandler(ResultsAvailableHandler handler)
```
    Removes a handler that is called when information flow results are available
    
    参数:
    
    handler - The handler to remove
  - abortAnalysis
```
void abortAnalysis()
```
    Aborts the data flow analysis. This is useful when the analysis controller is running in a different thread and the main thread (e.g., a GUI) wants to abort the analysis
  - setTaintPropagationHandler
```
void setTaintPropagationHandler(TaintPropagationHandler handler)
```
    Sets a handler which is invoked whenever a taint is propagated
    
    参数:
    
    handler - The handler to be invoked when propagating taints
  - setBackwardsPropagationHandler
```
void setBackwardsPropagationHandler(TaintPropagationHandler handler)
```
    Sets a handler which is invoked whenever an alias is propagated backwards
    
    参数:
    
    handler - The handler to be invoked when propagating aliases
  - setMemoryManagerFactory
```
void setMemoryManagerFactory(IMemoryManagerFactory factory)
```
    Sets the factory to be used for creating memory managers
    
    参数:
    
    factory - The memory manager factory to use
  - setExecutorFactory
```
void setExecutorFactory(IExecutorFactory executorFactory)
```
    Sets the factory to be used for creating thread pool executors
    
    参数:
    
    executorFactory - The executor factory to use
  - setPropagationRuleManagerFactory
```
void setPropagationRuleManagerFactory(IPropagationRuleManagerFactory ruleManagerFactory)
```
    Sets the factory to be used for creating the propagation rule manager, which can then add features to the core data flow engine
    
    参数:
    
    ruleManagerFactory - The factory class for the propagation rule manager

接口 IInfoflow

方法概要

从接口继承的方法 soot.jimple.infoflow.taintWrappers.ITaintWrapperDataFlowAnalysis

方法详细资料

getConfig

setConfig

setNativeCallHandler

setPreProcessors

setPostProcessors

computeInfoflow

computeInfoflow

computeInfoflow

computeInfoflow

computeInfoflow

getResults

isResultAvailable

setIPCManager

setSootConfig

setPathBuilderFactory

getCollectedSources

getCollectedSinks

addResultsAvailableHandler

removeResultsAvailableHandler

abortAnalysis

setTaintPropagationHandler

setBackwardsPropagationHandler

setMemoryManagerFactory

setExecutorFactory

setPropagationRuleManagerFactory