InfoflowCFG (soot-infoflow 2.10.4 API)

java.lang.Object
- soot.jimple.infoflow.solver.cfg.InfoflowCFG

所有已实现的接口:

heros.InterproceduralCFG<soot.Unit,soot.SootMethod>, IInfoflowCFG, soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>

直接已知子类:

BackwardsInfoflowCFG
```
public class InfoflowCFG
extends Object
implements IInfoflowCFG
```
Interprocedural control-flow graph for the infoflow solver

作者:

Steven Arzt, Eric Bodden

嵌套类概要
- 从接口继承的嵌套类/接口 soot.jimple.infoflow.solver.cfg.IInfoflowCFG
  IInfoflowCFG.UnitContainer

字段概要

字段
限定符和类型	字段和说明
`protected soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>`	`delegate`
`protected Map<soot.SootMethod,Boolean>`	`methodSideEffects`
`protected com.google.common.cache.LoadingCache<soot.SootMethod,soot.Local[]>`	`methodToUsedLocals`
`protected com.google.common.cache.LoadingCache<soot.SootMethod,soot.Local[]>`	`methodToWrittenLocals`
`protected Map<soot.SootMethod,Map<soot.SootField,soot.jimple.infoflow.solver.cfg.InfoflowCFG.StaticFieldUse>>`	`staticFieldUses`
`protected com.google.common.cache.LoadingCache<soot.Unit,IInfoflowCFG.UnitContainer>`	`unitToPostdominator`

构造器概要

构造器
构造器和说明

InfoflowCFG()

InfoflowCFG(soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod> delegate)

构造器
构造器和说明
`InfoflowCFG()`
`InfoflowCFG(soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod> delegate)`

方法概要

所有方法实例方法具体方法
限定符和类型	方法和说明
`Set<soot.Unit>`	`allNonCallEndNodes()`
`Set<soot.Unit>`	`allNonCallStartNodes()`
`protected soot.jimple.infoflow.solver.cfg.InfoflowCFG.StaticFieldUse`	`checkStaticFieldUsed(soot.SootMethod smethod, soot.SootField variable)`
`Collection<soot.SootMethod>`	`getCalleesOfCallAt(soot.Unit u)`
`Collection<soot.Unit>`	`getCallersOf(soot.SootMethod m)`
`Set<soot.Unit>`	`getCallsFromWithin(soot.SootMethod m)`
`Collection<soot.Unit>`	`getEndPointsOf(soot.SootMethod m)`
`soot.SootMethod`	`getMethodOf(soot.Unit u)`
`soot.toolkits.graph.DirectedGraph<soot.Unit>`	`getOrCreateUnitGraph(soot.SootMethod m)`
`Collection<soot.SootMethod>`	`getOrdinaryCalleesOfCallAt(soot.Unit u)` Gets all ordinary callees of the call at call site u, i.e., those that are not \ or a fake edge.
`List<soot.Value>`	`getParameterRefs(soot.SootMethod m)`
`IInfoflowCFG.UnitContainer`	`getPostdominatorOf(soot.Unit u)` Gets the postdominator of the given unit.
`List<soot.Unit>`	`getPredsOf(soot.Unit u)`
`List<soot.Unit>`	`getPredsOfCallAt(soot.Unit u)`
`Collection<soot.Unit>`	`getReturnSitesOfCallAt(soot.Unit u)`
`Collection<soot.Unit>`	`getStartPointsOf(soot.SootMethod m)`
`List<soot.Unit>`	`getSuccsOf(soot.Unit u)`
`boolean`	`hasSideEffects(soot.SootMethod method)` Checks whether the given method or any of its transitive callees has side effects
`protected boolean`	`hasSideEffects(soot.SootMethod method, Set<soot.SootMethod> runList, int depth)`
`boolean`	`isBranchTarget(soot.Unit u, soot.Unit succ)`
`boolean`	`isCallStmt(soot.Unit u)`
`boolean`	`isExceptionalEdgeBetween(soot.Unit u1, soot.Unit u2)` Gets whether the two given units are connected by an exceptional control flow edge
`boolean`	`isExecutorExecute(soot.jimple.InvokeExpr ie, soot.SootMethod dest)` Checks whether the given call is a call to Executor.execute() or AccessController.doPrivileged() and whether the callee matches the expected method signature
`boolean`	`isExitStmt(soot.Unit u)`
`boolean`	`isFallThroughSuccessor(soot.Unit u, soot.Unit succ)`
`boolean`	`isReachable(soot.Unit u)`
`boolean`	`isReflectiveCallSite(soot.jimple.InvokeExpr iexpr)` Checks whether the given call site is a reflective method call
`boolean`	`isReflectiveCallSite(soot.Unit u)` Checks whether the given call site is a reflective method call
`boolean`	`isReturnSite(soot.Unit n)`
`boolean`	`isStartPoint(soot.Unit u)`
`boolean`	`isStaticFieldRead(soot.SootMethod method, soot.SootField variable)` Checks whether the given static field is read inside the given method or one of its transitive callees.
`boolean`	`isStaticFieldUsed(soot.SootMethod method, soot.SootField variable)` Checks whether the given static field is used (read or written) inside the given method or one of its transitive callees.
`boolean`	`methodReadsValue(soot.SootMethod m, soot.Value v)` Checks whether the given method reads the given value
`boolean`	`methodWritesValue(soot.SootMethod m, soot.Value v)` Checks whether the given method writes the given value
`void`	`notifyMethodChanged(soot.SootMethod m)` Re-initializes the mapping betwween statements and owning methods after a method has changed.
`void`	`purge()` Clears all caches and temporary data from memory.
`protected void`	`registerStaticVariableUse(soot.SootMethod method, soot.SootField variable, soot.jimple.infoflow.solver.cfg.InfoflowCFG.StaticFieldUse fieldUse)`

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

- 字段详细资料
  - staticFieldUses
```
protected final Map<soot.SootMethod,Map<soot.SootField,soot.jimple.infoflow.solver.cfg.InfoflowCFG.StaticFieldUse>> staticFieldUses
```
  - methodSideEffects
```
protected final Map<soot.SootMethod,Boolean> methodSideEffects
```
  - delegate
```
protected final soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod> delegate
```
  - unitToPostdominator
```
protected final com.google.common.cache.LoadingCache<soot.Unit,IInfoflowCFG.UnitContainer> unitToPostdominator
```
  - methodToUsedLocals
```
protected final com.google.common.cache.LoadingCache<soot.SootMethod,soot.Local[]> methodToUsedLocals
```
  - methodToWrittenLocals
```
protected final com.google.common.cache.LoadingCache<soot.SootMethod,soot.Local[]> methodToWrittenLocals
```
- 构造器详细资料
  - InfoflowCFG
```
public InfoflowCFG()
```
  - InfoflowCFG
```
public InfoflowCFG(soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod> delegate)
```
- 方法详细资料
  - getPostdominatorOf
```
public IInfoflowCFG.UnitContainer getPostdominatorOf(soot.Unit u)
```
    从接口复制的说明: IInfoflowCFG
    
    Gets the postdominator of the given unit. If this unit is a conditional, the postdominator is the join point behind both branches of the conditional.
    
    指定者:
    
    getPostdominatorOf 在接口中 IInfoflowCFG
    
    参数:
    
    u - The unit for which to get the postdominator.
    
    返回:
    
    The postdominator of the given unit
  - getMethodOf
```
public soot.SootMethod getMethodOf(soot.Unit u)
```
    指定者:
    
    getMethodOf 在接口中 heros.InterproceduralCFG<soot.Unit,soot.SootMethod>
  - getSuccsOf
```
public List<soot.Unit> getSuccsOf(soot.Unit u)
```
    指定者:
    
    getSuccsOf 在接口中 heros.InterproceduralCFG<soot.Unit,soot.SootMethod>
  - isExitStmt
```
public boolean isExitStmt(soot.Unit u)
```
    指定者:
    
    isExitStmt 在接口中 heros.InterproceduralCFG<soot.Unit,soot.SootMethod>
  - isStartPoint
```
public boolean isStartPoint(soot.Unit u)
```
    指定者:
    
    isStartPoint 在接口中 heros.InterproceduralCFG<soot.Unit,soot.SootMethod>
  - isFallThroughSuccessor
```
public boolean isFallThroughSuccessor(soot.Unit u,
                                      soot.Unit succ)
```
    指定者:
    
    isFallThroughSuccessor 在接口中 heros.InterproceduralCFG<soot.Unit,soot.SootMethod>
  - isBranchTarget
```
public boolean isBranchTarget(soot.Unit u,
                              soot.Unit succ)
```
    指定者:
    
    isBranchTarget 在接口中 heros.InterproceduralCFG<soot.Unit,soot.SootMethod>
  - getStartPointsOf
```
public Collection<soot.Unit> getStartPointsOf(soot.SootMethod m)
```
    指定者:
    
    getStartPointsOf 在接口中 heros.InterproceduralCFG<soot.Unit,soot.SootMethod>
  - isCallStmt
```
public boolean isCallStmt(soot.Unit u)
```
    指定者:
    
    isCallStmt 在接口中 heros.InterproceduralCFG<soot.Unit,soot.SootMethod>
  - allNonCallStartNodes
```
public Set<soot.Unit> allNonCallStartNodes()
```
    指定者:
    
    allNonCallStartNodes 在接口中 heros.InterproceduralCFG<soot.Unit,soot.SootMethod>
  - getCalleesOfCallAt
```
public Collection<soot.SootMethod> getCalleesOfCallAt(soot.Unit u)
```
    指定者:
    
    getCalleesOfCallAt 在接口中 heros.InterproceduralCFG<soot.Unit,soot.SootMethod>
  - getCallersOf
```
public Collection<soot.Unit> getCallersOf(soot.SootMethod m)
```
    指定者:
    
    getCallersOf 在接口中 heros.InterproceduralCFG<soot.Unit,soot.SootMethod>
  - getReturnSitesOfCallAt
```
public Collection<soot.Unit> getReturnSitesOfCallAt(soot.Unit u)
```
    指定者:
    
    getReturnSitesOfCallAt 在接口中 heros.InterproceduralCFG<soot.Unit,soot.SootMethod>
  - getCallsFromWithin
```
public Set<soot.Unit> getCallsFromWithin(soot.SootMethod m)
```
    指定者:
    
    getCallsFromWithin 在接口中 heros.InterproceduralCFG<soot.Unit,soot.SootMethod>
  - getPredsOf
```
public List<soot.Unit> getPredsOf(soot.Unit u)
```
    指定者:
    
    getPredsOf 在接口中 heros.InterproceduralCFG<soot.Unit,soot.SootMethod>
    
    指定者:
    
    getPredsOf 在接口中 soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>
  - getEndPointsOf
```
public Collection<soot.Unit> getEndPointsOf(soot.SootMethod m)
```
    指定者:
    
    getEndPointsOf 在接口中 soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>
  - getPredsOfCallAt
```
public List<soot.Unit> getPredsOfCallAt(soot.Unit u)
```
    指定者:
    
    getPredsOfCallAt 在接口中 soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>
  - allNonCallEndNodes
```
public Set<soot.Unit> allNonCallEndNodes()
```
    指定者:
    
    allNonCallEndNodes 在接口中 soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>
  - getOrCreateUnitGraph
```
public soot.toolkits.graph.DirectedGraph<soot.Unit> getOrCreateUnitGraph(soot.SootMethod m)
```
    指定者:
    
    getOrCreateUnitGraph 在接口中 soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>
  - getParameterRefs
```
public List<soot.Value> getParameterRefs(soot.SootMethod m)
```
    指定者:
    
    getParameterRefs 在接口中 soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>
  - isReturnSite
```
public boolean isReturnSite(soot.Unit n)
```
    指定者:
    
    isReturnSite 在接口中 soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>
  - isStaticFieldRead
```
public boolean isStaticFieldRead(soot.SootMethod method,
                                 soot.SootField variable)
```
    从接口复制的说明: IInfoflowCFG
    
    Checks whether the given static field is read inside the given method or one of its transitive callees.
    
    指定者:
    
    isStaticFieldRead 在接口中 IInfoflowCFG
    
    参数:
    
    method - The method to check
    
    variable - The static field to check
    
    返回:
    
    True if the given static field is read inside the given method, otherwise false
  - isStaticFieldUsed
```
public boolean isStaticFieldUsed(soot.SootMethod method,
                                 soot.SootField variable)
```
    从接口复制的说明: IInfoflowCFG
    
    Checks whether the given static field is used (read or written) inside the given method or one of its transitive callees.
    
    指定者:
    
    isStaticFieldUsed 在接口中 IInfoflowCFG
    
    参数:
    
    method - The method to check
    
    variable - The static field to check
    
    返回:
    
    True if the given static field is used inside the given method, otherwise false
  - checkStaticFieldUsed
```
protected soot.jimple.infoflow.solver.cfg.InfoflowCFG.StaticFieldUse checkStaticFieldUsed(soot.SootMethod smethod,
                                                                                          soot.SootField variable)
```
  - registerStaticVariableUse
```
protected void registerStaticVariableUse(soot.SootMethod method,
                                         soot.SootField variable,
                                         soot.jimple.infoflow.solver.cfg.InfoflowCFG.StaticFieldUse fieldUse)
```
  - hasSideEffects
```
public boolean hasSideEffects(soot.SootMethod method)
```
    从接口复制的说明: IInfoflowCFG
    
    Checks whether the given method or any of its transitive callees has side effects
    
    指定者:
    
    hasSideEffects 在接口中 IInfoflowCFG
    
    参数:
    
    method - The method to check
    
    返回:
    
    True if the given method or one of its transitive callees has side effects, otherwise false
  - hasSideEffects
```
protected boolean hasSideEffects(soot.SootMethod method,
                                 Set<soot.SootMethod> runList,
                                 int depth)
```
  - notifyMethodChanged
```
public void notifyMethodChanged(soot.SootMethod m)
```
    从接口复制的说明: IInfoflowCFG
    
    Re-initializes the mapping betwween statements and owning methods after a method has changed.
    
    指定者:
    
    notifyMethodChanged 在接口中 IInfoflowCFG
    
    参数:
    
    m - The method for which to re-initialize the mapping
  - methodReadsValue
```
public boolean methodReadsValue(soot.SootMethod m,
                                soot.Value v)
```
    从接口复制的说明: IInfoflowCFG
    
    Checks whether the given method reads the given value
    
    指定者:
    
    methodReadsValue 在接口中 IInfoflowCFG
    
    参数:
    
    m - The method to check
    
    v - The value to check
    
    返回:
    
    True if the given method reads the given value, otherwise false
  - methodWritesValue
```
public boolean methodWritesValue(soot.SootMethod m,
                                 soot.Value v)
```
    从接口复制的说明: IInfoflowCFG
    
    Checks whether the given method writes the given value
    
    指定者:
    
    methodWritesValue 在接口中 IInfoflowCFG
    
    参数:
    
    m - The method to check
    
    v - The value to check
    
    返回:
    
    True if the given method writes the given value, otherwise false
  - isExceptionalEdgeBetween
```
public boolean isExceptionalEdgeBetween(soot.Unit u1,
                                        soot.Unit u2)
```
    从接口复制的说明: IInfoflowCFG
    
    Gets whether the two given units are connected by an exceptional control flow edge
    
    指定者:
    
    isExceptionalEdgeBetween 在接口中 IInfoflowCFG
    
    参数:
    
    u1 - The first unit
    
    u2 - The second unit
    
    返回:
    
    True if the two given units are directly connected by an exceptional control flow edge, otherwise false
  - isReachable
```
public boolean isReachable(soot.Unit u)
```
    指定者:
    
    isReachable 在接口中 soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>
  - isExecutorExecute
```
public boolean isExecutorExecute(soot.jimple.InvokeExpr ie,
                                 soot.SootMethod dest)
```
    从接口复制的说明: IInfoflowCFG
    
    Checks whether the given call is a call to Executor.execute() or AccessController.doPrivileged() and whether the callee matches the expected method signature
    
    指定者:
    
    isExecutorExecute 在接口中 IInfoflowCFG
    
    参数:
    
    ie - The invocation expression to check
    
    dest - The callee of the given invocation expression
    
    返回:
    
    True if the given invocation expression and callee are a valid call to Executor.execute() or AccessController.doPrivileged()
  - getOrdinaryCalleesOfCallAt
```
public Collection<soot.SootMethod> getOrdinaryCalleesOfCallAt(soot.Unit u)
```
    从接口复制的说明: IInfoflowCFG
    
    Gets all ordinary callees of the call at call site u, i.e., those that are not \ or a fake edge.
    
    指定者:
    
    getOrdinaryCalleesOfCallAt 在接口中 IInfoflowCFG
    
    参数:
    
    u - The call site
    
    返回:
    
    The set of ordinary callees of the given call site
  - isReflectiveCallSite
```
public boolean isReflectiveCallSite(soot.Unit u)
```
    从接口复制的说明: IInfoflowCFG
    
    Checks whether the given call site is a reflective method call
    
    指定者:
    
    isReflectiveCallSite 在接口中 IInfoflowCFG
    
    参数:
    
    u - The call site to check
    
    返回:
    
    True if the given call site contains a reflective method call, otherwise false
  - isReflectiveCallSite
```
public boolean isReflectiveCallSite(soot.jimple.InvokeExpr iexpr)
```
    从接口复制的说明: IInfoflowCFG
    
    Checks whether the given call site is a reflective method call
    
    指定者:
    
    isReflectiveCallSite 在接口中 IInfoflowCFG
    
    参数:
    
    iexpr - The call site to check
    
    返回:
    
    True if the given call site contains a reflective method call, otherwise false
  - purge
```
public void purge()
```
    从接口复制的说明: IInfoflowCFG
    
    Clears all caches and temporary data from memory. This method has no effect on the functional behavior of the class.
    
    指定者:
    
    purge 在接口中 IInfoflowCFG

类 InfoflowCFG

嵌套类概要

从接口继承的嵌套类/接口 soot.jimple.infoflow.solver.cfg.IInfoflowCFG

字段概要

构造器概要

方法概要

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

字段详细资料

staticFieldUses

methodSideEffects

delegate

unitToPostdominator

methodToUsedLocals

methodToWrittenLocals

构造器详细资料

InfoflowCFG

InfoflowCFG

方法详细资料

getPostdominatorOf

getMethodOf

getSuccsOf

isExitStmt

isStartPoint

isFallThroughSuccessor

isBranchTarget

getStartPointsOf

isCallStmt

allNonCallStartNodes

getCalleesOfCallAt

getCallersOf

getReturnSitesOfCallAt

getCallsFromWithin

getPredsOf

getEndPointsOf

getPredsOfCallAt

allNonCallEndNodes

getOrCreateUnitGraph

getParameterRefs

isReturnSite

isStaticFieldRead

isStaticFieldUsed

checkStaticFieldUsed

registerStaticVariableUse

hasSideEffects

hasSideEffects

notifyMethodChanged

methodReadsValue

methodWritesValue

isExceptionalEdgeBetween

isReachable

isExecutorExecute

getOrdinaryCalleesOfCallAt

isReflectiveCallSite

isReflectiveCallSite

purge