AbstractInfoflow (soot-infoflow 2.10.4 API)

java.lang.Object
- soot.jimple.infoflow.AbstractInfoflow

所有已实现的接口:

IInfoflow, ITaintWrapperDataFlowAnalysis

直接已知子类:

Infoflow
```
public abstract class AbstractInfoflow
extends Object
implements IInfoflow
```
Abstract base class for all data/information flow analyses in FlowDroid

作者:

Steven Arzt

字段概要

字段
限定符和类型	字段和说明
`protected String`	`androidPath`
`protected InfoflowConfiguration`	`config`
`protected boolean`	`forceAndroidJar`
`protected soot.FastHierarchy`	`hierarchy`
`protected BiDirICFGFactory`	`icfgFactory`
`protected IIPCManager`	`ipcManager`
`protected INativeCallHandler`	`nativeCallHandler`
`protected IPathBuilderFactory`	`pathBuilderFactory`
`protected Collection<? extends PostAnalysisHandler>`	`postProcessors`
`protected Collection<? extends PreAnalysisHandler>`	`preProcessors`
`protected IInfoflowConfig`	`sootConfig`
`protected ITaintPropagationWrapper`	`taintWrapper`

构造器概要

构造器
构造器和说明
`AbstractInfoflow()` Creates a new instance of the abstract info flow problem
`AbstractInfoflow(BiDirICFGFactory icfgFactory, String androidPath, boolean forceAndroidJar)` Creates a new instance of the abstract info flow problem

方法概要

所有方法静态方法实例方法具体方法
限定符和类型	方法和说明
`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, List<String> sources, List<String> sinks)` Computes the information flow on a list of entry point methods.
`void`	`computeInfoflow(String libPath, String appPath, String entryPoint, Collection<String> sources, Collection<String> sinks)` Computes the information flow on a single method.
`protected void`	`constructCallgraph()` Constructs the callgraph
`InfoflowConfiguration`	`getConfig()` Gets the configuration to be used for the data flow analysis
`protected LibraryClassPatcher`	`getLibraryClassPatcher()`
`ITaintPropagationWrapper`	`getTaintWrapper()` Gets the taint wrapper to be used for propagating taints over unknown (library) callees.
`protected void`	`initializeSoot(String appPath, String libPath, Collection<String> classes)` Initializes Soot.
`protected void`	`initializeSoot(String appPath, String libPath, Collection<String> classes, String extraSeed)` Initializes Soot.
`void`	`setConfig(InfoflowConfiguration config)` Sets the configuration to be used for the data flow analysis
`static void`	`setGeomPtaSpecificOptions()`
`void`	`setIPCManager(IIPCManager ipcManager)`
`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`	`setSootConfig(IInfoflowConfig config)` Sets the Soot configuration callback to be used for this analysis
`protected void`	`setSourcePrec()`
`void`	`setTaintWrapper(ITaintPropagationWrapper wrapper)` Sets the taint wrapper to be used for propagating taints over unknown (library) callees.

从类继承的方法 java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

从接口继承的方法 soot.jimple.infoflow.IInfoflow
abortAnalysis, addResultsAvailableHandler, computeInfoflow, computeInfoflow, getCollectedSinks, getCollectedSources, getResults, isResultAvailable, removeResultsAvailableHandler, setBackwardsPropagationHandler, setExecutorFactory, setMemoryManagerFactory, setPropagationRuleManagerFactory, setTaintPropagationHandler

- 字段详细资料
  - pathBuilderFactory
```
protected IPathBuilderFactory pathBuilderFactory
```
  - config
```
protected InfoflowConfiguration config
```
  - taintWrapper
```
protected ITaintPropagationWrapper taintWrapper
```
  - nativeCallHandler
```
protected INativeCallHandler nativeCallHandler
```
  - ipcManager
```
protected IIPCManager ipcManager
```
  - icfgFactory
```
protected final BiDirICFGFactory icfgFactory
```
  - preProcessors
```
protected Collection<? extends PreAnalysisHandler> preProcessors
```
  - postProcessors
```
protected Collection<? extends PostAnalysisHandler> postProcessors
```
  - androidPath
```
protected final String androidPath
```
  - forceAndroidJar
```
protected final boolean forceAndroidJar
```
  - sootConfig
```
protected IInfoflowConfig sootConfig
```
  - hierarchy
```
protected soot.FastHierarchy hierarchy
```
- 构造器详细资料
  - AbstractInfoflow
```
public AbstractInfoflow()
```
    Creates a new instance of the abstract info flow problem
  - AbstractInfoflow
```
public AbstractInfoflow(BiDirICFGFactory icfgFactory,
                        String androidPath,
                        boolean forceAndroidJar)
```
    Creates a new instance of the abstract info flow problem
    
    参数:
    
    icfgFactory - The interprocedural CFG to be used by the InfoFlowProblem
    
    androidPath - If forceAndroidJar is false, this is the base directory of the platform files in the Android SDK. If forceAndroidJar is true, this is the full path of a single android.jar file.
    
    forceAndroidJar - True if a single platform JAR file shall be forced, false if Soot shall pick the appropriate platform version
- 方法详细资料
  - getConfig
```
public InfoflowConfiguration getConfig()
```
    从接口复制的说明: IInfoflow
    
    Gets the configuration to be used for the data flow analysis
    
    指定者:
    
    getConfig 在接口中 IInfoflow
    
    返回:
    
    The configuration to be used for the data flow analysis
  - setConfig
```
public void setConfig(InfoflowConfiguration config)
```
    从接口复制的说明: IInfoflow
    
    Sets the configuration to be used for the data flow analysis
    
    指定者:
    
    setConfig 在接口中 IInfoflow
    
    参数:
    
    config - The configuration to be used for the data flow analysis
  - setTaintWrapper
```
public void setTaintWrapper(ITaintPropagationWrapper wrapper)
```
    从接口复制的说明: ITaintWrapperDataFlowAnalysis
    
    Sets the taint wrapper to be used for propagating taints over unknown (library) callees. If this value is null, no taint wrapping is used.
    
    指定者:
    
    setTaintWrapper 在接口中 ITaintWrapperDataFlowAnalysis
    
    参数:
    
    wrapper - The taint wrapper to use or null to disable taint wrapping
  - setNativeCallHandler
```
public void setNativeCallHandler(INativeCallHandler handler)
```
    从接口复制的说明: IInfoflow
    
    Sets the handler class to be used for modeling the effects of native methods on the taint state
    
    指定者:
    
    setNativeCallHandler 在接口中 IInfoflow
    
    参数:
    
    handler - The native call handler to use
  - getTaintWrapper
```
public ITaintPropagationWrapper getTaintWrapper()
```
    从接口复制的说明: ITaintWrapperDataFlowAnalysis
    
    Gets the taint wrapper to be used for propagating taints over unknown (library) callees. If this value is null, no taint wrapping is used.
    
    指定者:
    
    getTaintWrapper 在接口中 ITaintWrapperDataFlowAnalysis
    
    返回:
    
    The taint wrapper to use or null if taint wrapping is disabled
  - setPreProcessors
```
public void setPreProcessors(Collection<? extends PreAnalysisHandler> preprocessors)
```
    从接口复制的说明: IInfoflow
    
    List of preprocessors that need to be executed in order before the information flow.
    
    指定者:
    
    setPreProcessors 在接口中 IInfoflow
    
    参数:
    
    preprocessors - the pre-processors
  - setPostProcessors
```
public void setPostProcessors(Collection<? extends PostAnalysisHandler> postprocessors)
```
    从接口复制的说明: IInfoflow
    
    Sets the set of post-processors that shall be executed after the data flow analysis has finished
    
    指定者:
    
    setPostProcessors 在接口中 IInfoflow
    
    参数:
    
    postprocessors - The post-processors to execute on the results
  - computeInfoflow
```
public void computeInfoflow(String appPath,
                            String libPath,
                            IEntryPointCreator entryPointCreator,
                            List<String> sources,
                            List<String> sinks)
```
    从接口复制的说明: IInfoflow
    
    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)
    
    指定者:
    
    computeInfoflow 在接口中 IInfoflow
    
    参数:
    
    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
```
public void computeInfoflow(String appPath,
                            String libPath,
                            Collection<String> entryPoints,
                            Collection<String> sources,
                            Collection<String> sinks)
```
    从接口复制的说明: IInfoflow
    
    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)
    
    指定者:
    
    computeInfoflow 在接口中 IInfoflow
    
    参数:
    
    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
```
public void computeInfoflow(String libPath,
                            String appPath,
                            String entryPoint,
                            Collection<String> sources,
                            Collection<String> sinks)
```
    从接口复制的说明: IInfoflow
    
    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.
    
    指定者:
    
    computeInfoflow 在接口中 IInfoflow
    
    参数:
    
    libPath - The path containing the client program's files
    
    appPath - 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)
  - initializeSoot
```
protected void initializeSoot(String appPath,
                              String libPath,
                              Collection<String> classes)
```
    Initializes Soot.
    
    参数:
    
    appPath - The application path containing the analysis client
    
    libPath - The Soot classpath containing the libraries
    
    classes - The set of classes that shall be checked for data flow analysis seeds. All sources in these classes are used as seeds.
  - initializeSoot
```
protected void initializeSoot(String appPath,
                              String libPath,
                              Collection<String> classes,
                              String extraSeed)
```
    Initializes Soot.
    
    参数:
    
    appPath - The application path containing the analysis client
    
    libPath - The Soot classpath containing the libraries
    
    classes - The set of classes that shall be checked for data flow analysis seeds. All sources in these classes are used as seeds. If a non-empty extra seed is given, this one is used too.
  - setSourcePrec
```
protected void setSourcePrec()
```
  - setGeomPtaSpecificOptions
```
public static void setGeomPtaSpecificOptions()
```
  - setSootConfig
```
public void setSootConfig(IInfoflowConfig config)
```
    从接口复制的说明: IInfoflow
    
    Sets the Soot configuration callback to be used for this analysis
    
    指定者:
    
    setSootConfig 在接口中 IInfoflow
    
    参数:
    
    config - The configuration callback to be used for the analysis
  - setIPCManager
```
public void setIPCManager(IIPCManager ipcManager)
```
    指定者:
    
    setIPCManager 在接口中 IInfoflow
  - setPathBuilderFactory
```
public void setPathBuilderFactory(IPathBuilderFactory factory)
```
    从接口复制的说明: IInfoflow
    
    Sets the path builder factory to be used in subsequent data flow analyses
    
    指定者:
    
    setPathBuilderFactory 在接口中 IInfoflow
    
    参数:
    
    factory - The path bilder factory to use for constructing path reconstruction algorithms
  - constructCallgraph
```
protected void constructCallgraph()
```
    Constructs the callgraph
  - getLibraryClassPatcher
```
protected LibraryClassPatcher getLibraryClassPatcher()
```

类 AbstractInfoflow

字段概要

构造器概要

方法概要

从类继承的方法 java.lang.Object

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

字段详细资料

pathBuilderFactory

config

taintWrapper

nativeCallHandler

ipcManager

icfgFactory

preProcessors

postProcessors

androidPath

forceAndroidJar

sootConfig

hierarchy

构造器详细资料

AbstractInfoflow

AbstractInfoflow

方法详细资料

getConfig

setConfig

setTaintWrapper

setNativeCallHandler

getTaintWrapper

setPreProcessors

setPostProcessors

computeInfoflow

computeInfoflow

computeInfoflow

initializeSoot

initializeSoot

setSourcePrec

setGeomPtaSpecificOptions

setSootConfig

setIPCManager

setPathBuilderFactory

constructCallgraph

getLibraryClassPatcher