AbstractInfoflowProblem (soot-infoflow 2.10.4 API)

java.lang.Object
- heros.template.DefaultIFDSTabulationProblem<soot.Unit,D,soot.SootMethod,I>
- - soot.jimple.toolkits.ide.DefaultJimpleIFDSTabulationProblem<Abstraction,soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>>
  - - soot.jimple.infoflow.problems.AbstractInfoflowProblem

所有已实现的接口:

heros.IFDSTabulationProblem<soot.Unit,Abstraction,soot.SootMethod,soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>>, heros.SolverConfiguration

直接已知子类:

BackwardsInfoflowProblem, InfoflowProblem
```
public abstract class AbstractInfoflowProblem
extends soot.jimple.toolkits.ide.DefaultJimpleIFDSTabulationProblem<Abstraction,soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>>
```
abstract super class which - concentrates functionality used by InfoflowProblem and BackwardsInfoflowProblem - contains helper functions which should not pollute the naturally large InfofflowProblems

字段概要

字段
限定符和类型	字段和说明
`protected Map<soot.Unit,Set<Abstraction>>`	`initialSeeds`
`protected org.slf4j.Logger`	`logger`
`protected InfoflowManager`	`manager`
`protected INativeCallHandler`	`ncHandler`
`protected IInfoflowSolver`	`solver`
`protected TaintPropagationHandler`	`taintPropagationHandler`
`protected ITaintPropagationWrapper`	`taintWrapper`
`protected Abstraction`	`zeroValue`

构造器概要

构造器
构造器和说明

AbstractInfoflowProblem(InfoflowManager manager)

构造器
构造器和说明
`AbstractInfoflowProblem(InfoflowManager manager)`

方法概要

所有方法实例方法具体方法
限定符和类型	方法和说明
`void`	`addInitialSeeds(soot.Unit unit, Set<Abstraction> seeds)` Adds the given initial seeds to the information flow problem
`boolean`	`autoAddZero()` performance improvement: since we start directly at the sources, we do not need to generate additional taints unconditionally
`boolean`	`computeValues()`
`Abstraction`	`createZeroValue()`
`boolean`	`followReturnsPastSeeds()` we need this option as we start directly at the sources, but need to go backward in the call stack
`Map<soot.Unit,Set<Abstraction>>`	`getInitialSeeds()` Gets the initial seeds with which this information flow problem has been configured
`InfoflowManager`	`getManager()`
`protected Abstraction`	`getZeroValue()`
`boolean`	`hasInitialSeeds()` Gets whether this information flow problem has initial seeds
`Map<soot.Unit,Set<Abstraction>>`	`initialSeeds()`
`IInfoflowCFG`	`interproceduralCFG()`
`protected boolean`	`isCallSiteActivatingTaint(soot.Unit callSite, soot.Unit activationUnit)`
`protected boolean`	`isExceptionHandler(soot.Unit u)` Checks whether the given unit is the start of an exception handler
`protected boolean`	`isExcluded(soot.SootMethod sm)` Checks whether the given method is excluded from the data flow analysis, i.e., should not be analyzed
`protected boolean`	`isInitialMethod(soot.SootMethod sm)` Gets whether the given method is an entry point, i.e. one of the initial seeds belongs to the given method
`protected Set<Abstraction>`	`notifyOutFlowHandlers(soot.Unit stmt, Abstraction d1, Abstraction incoming, Set<Abstraction> outgoing, TaintPropagationHandler.FlowFunctionType functionType)` Notifies the outbound flow handlers, if any, about the computed result abstractions for the current flow function
`protected boolean`	`registerActivationCallSite(soot.Unit callSite, soot.SootMethod callee, Abstraction activationAbs)`
`void`	`setActivationUnitsToCallSites(AbstractInfoflowProblem other)`
`void`	`setNativeCallHandler(INativeCallHandler handler)` Sets the handler class to be used for modeling the effects of native methods on the taint state
`void`	`setSolver(IInfoflowSolver solver)`
`void`	`setTaintPropagationHandler(TaintPropagationHandler handler)` Sets a handler which is invoked whenever a taint is propagated
`void`	`setTaintWrapper(ITaintPropagationWrapper wrapper)` Sets the taint wrapper that shall be used for applying external library models
`void`	`setZeroValue(Abstraction zeroValue)`

从类继承的方法 heros.template.DefaultIFDSTabulationProblem
createFlowFunctionsFactory, flowFunctions, numThreads, recordEdges, zeroValue

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

- 字段详细资料
  - manager
```
protected final InfoflowManager manager
```
  - initialSeeds
```
protected final Map<soot.Unit,Set<Abstraction>> initialSeeds
```
  - taintWrapper
```
protected ITaintPropagationWrapper taintWrapper
```
  - ncHandler
```
protected INativeCallHandler ncHandler
```
  - logger
```
protected final org.slf4j.Logger logger
```
  - zeroValue
```
protected Abstraction zeroValue
```
  - solver
```
protected IInfoflowSolver solver
```
  - taintPropagationHandler
```
protected TaintPropagationHandler taintPropagationHandler
```
- 构造器详细资料
  - AbstractInfoflowProblem
```
public AbstractInfoflowProblem(InfoflowManager manager)
```
- 方法详细资料
  - setSolver
```
public void setSolver(IInfoflowSolver solver)
```
  - setZeroValue
```
public void setZeroValue(Abstraction zeroValue)
```
  - followReturnsPastSeeds
```
public boolean followReturnsPastSeeds()
```
    we need this option as we start directly at the sources, but need to go backward in the call stack
    
    指定者:
    
    followReturnsPastSeeds 在接口中 heros.SolverConfiguration
    
    覆盖:
    
    followReturnsPastSeeds 在类中 heros.template.DefaultIFDSTabulationProblem<soot.Unit,Abstraction,soot.SootMethod,soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>>
  - setTaintWrapper
```
public void setTaintWrapper(ITaintPropagationWrapper wrapper)
```
    Sets the taint wrapper that shall be used for applying external library models
    
    参数:
    
    wrapper - The taint wrapper that shall be used for applying external library models
  - setNativeCallHandler
```
public 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
  - isInitialMethod
```
protected boolean isInitialMethod(soot.SootMethod sm)
```
    Gets whether the given method is an entry point, i.e. one of the initial seeds belongs to the given method
    
    参数:
    
    sm - The method to check
    
    返回:
    
    True if the given method is an entry point, otherwise false
  - initialSeeds
```
public Map<soot.Unit,Set<Abstraction>> initialSeeds()
```
  - autoAddZero
```
public boolean autoAddZero()
```
    performance improvement: since we start directly at the sources, we do not need to generate additional taints unconditionally
    
    指定者:
    
    autoAddZero 在接口中 heros.SolverConfiguration
    
    覆盖:
    
    autoAddZero 在类中 heros.template.DefaultIFDSTabulationProblem<soot.Unit,Abstraction,soot.SootMethod,soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>>
  - isCallSiteActivatingTaint
```
protected boolean isCallSiteActivatingTaint(soot.Unit callSite,
                                            soot.Unit activationUnit)
```
  - registerActivationCallSite
```
protected boolean registerActivationCallSite(soot.Unit callSite,
                                             soot.SootMethod callee,
                                             Abstraction activationAbs)
```
  - setActivationUnitsToCallSites
```
public void setActivationUnitsToCallSites(AbstractInfoflowProblem other)
```
  - interproceduralCFG
```
public IInfoflowCFG interproceduralCFG()
```
    指定者:
    
    interproceduralCFG 在接口中 heros.IFDSTabulationProblem<soot.Unit,Abstraction,soot.SootMethod,soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>>
    
    覆盖:
    
    interproceduralCFG 在类中 heros.template.DefaultIFDSTabulationProblem<soot.Unit,Abstraction,soot.SootMethod,soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>>
  - addInitialSeeds
```
public void addInitialSeeds(soot.Unit unit,
                            Set<Abstraction> seeds)
```
    Adds the given initial seeds to the information flow problem
    
    参数:
    
    unit - The unit to be considered as a seed
    
    seeds - The abstractions with which to start at the given seed
  - hasInitialSeeds
```
public boolean hasInitialSeeds()
```
    Gets whether this information flow problem has initial seeds
    
    返回:
    
    True if this information flow problem has initial seeds, otherwise false
  - getInitialSeeds
```
public Map<soot.Unit,Set<Abstraction>> getInitialSeeds()
```
    Gets the initial seeds with which this information flow problem has been configured
    
    返回:
    
    The initial seeds with which this information flow problem has been configured.
  - setTaintPropagationHandler
```
public void setTaintPropagationHandler(TaintPropagationHandler handler)
```
    Sets a handler which is invoked whenever a taint is propagated
    
    参数:
    
    handler - The handler to be invoked when propagating taints
  - createZeroValue
```
public Abstraction createZeroValue()
```
    指定者:
    
    createZeroValue 在类中 heros.template.DefaultIFDSTabulationProblem<soot.Unit,Abstraction,soot.SootMethod,soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>>
  - getZeroValue
```
protected Abstraction getZeroValue()
```
  - isExceptionHandler
```
protected boolean isExceptionHandler(soot.Unit u)
```
    Checks whether the given unit is the start of an exception handler
    
    参数:
    
    u - The unit to check
    
    返回:
    
    True if the given unit is the start of an exception handler, otherwise false
  - notifyOutFlowHandlers
```
protected Set<Abstraction> notifyOutFlowHandlers(soot.Unit stmt,
                                                 Abstraction d1,
                                                 Abstraction incoming,
                                                 Set<Abstraction> outgoing,
                                                 TaintPropagationHandler.FlowFunctionType functionType)
```
    Notifies the outbound flow handlers, if any, about the computed result abstractions for the current flow function
    
    参数:
    
    d1 - The abstraction at the beginning of the method
    
    stmt - The statement that has just been processed
    
    incoming - The incoming abstraction from which the outbound ones were computed
    
    outgoing - The outbound abstractions to be propagated on
    
    functionType - The type of flow function that was computed
    
    返回:
    
    The outbound flow abstracions, potentially changed by the flow handlers
  - computeValues
```
public boolean computeValues()
```
    指定者:
    
    computeValues 在接口中 heros.SolverConfiguration
    
    覆盖:
    
    computeValues 在类中 heros.template.DefaultIFDSTabulationProblem<soot.Unit,Abstraction,soot.SootMethod,soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>>
  - getManager
```
public InfoflowManager getManager()
```
  - isExcluded
```
protected boolean isExcluded(soot.SootMethod sm)
```
    Checks whether the given method is excluded from the data flow analysis, i.e., should not be analyzed
    
    参数:
    
    sm - The method to check
    
    返回:
    
    True if the method is excluded and shall not be analyzed, otherwise false

类 AbstractInfoflowProblem

字段概要

构造器概要

方法概要

从类继承的方法 heros.template.DefaultIFDSTabulationProblem

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

字段详细资料

manager

initialSeeds

taintWrapper

ncHandler

logger

zeroValue

solver

taintPropagationHandler

构造器详细资料

AbstractInfoflowProblem

方法详细资料

setSolver

setZeroValue

followReturnsPastSeeds

setTaintWrapper

setNativeCallHandler

isInitialMethod

initialSeeds

autoAddZero

isCallSiteActivatingTaint

registerActivationCallSite

setActivationUnitsToCallSites

interproceduralCFG

addInitialSeeds

hasInitialSeeds

getInitialSeeds

setTaintPropagationHandler

createZeroValue

getZeroValue

isExceptionHandler

notifyOutFlowHandlers

computeValues

getManager

isExcluded