soot.jimple.infoflow.solver.cfg

类 BackwardsInfoflowCFG

java.lang.Object

soot.jimple.infoflow.solver.cfg.InfoflowCFG

soot.jimple.infoflow.solver.cfg.BackwardsInfoflowCFG

所有已实现的接口:

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

public class BackwardsInfoflowCFG
extends InfoflowCFG

Inverse interprocedural control-flow graph for the infoflow solver

作者:

Steven Arzt, Eric Bodden

嵌套类概要

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

IInfoflowCFG.UnitContainer

字段概要

从类继承的字段 soot.jimple.infoflow.solver.cfg.InfoflowCFG

delegate, methodSideEffects, methodToUsedLocals, methodToWrittenLocals, staticFieldUses, unitToPostdominator

构造器概要

构造器

构造器和说明
BackwardsInfoflowCFG(IInfoflowCFG baseCFG)

方法概要

限定符和类型	方法和说明
IInfoflowCFG	getBaseCFG()
IInfoflowCFG.UnitContainer	getPostdominatorOf(soot.Unit u) Gets the postdominator of the given unit.
boolean	hasSideEffects(soot.SootMethod method) Checks whether the given method or any of its transitive callees has side effects
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	purge() Clears all caches and temporary data from memory.

从类继承的方法 soot.jimple.infoflow.solver.cfg.InfoflowCFG

allNonCallEndNodes, allNonCallStartNodes, checkStaticFieldUsed, getCalleesOfCallAt, getCallersOf, getCallsFromWithin, getEndPointsOf, getMethodOf, getOrCreateUnitGraph, getOrdinaryCalleesOfCallAt, getParameterRefs, getPredsOf, getPredsOfCallAt, getReturnSitesOfCallAt, getStartPointsOf, getSuccsOf, hasSideEffects, isBranchTarget, isCallStmt, isExceptionalEdgeBetween, isExecutorExecute, isExitStmt, isFallThroughSuccessor, isReachable, isReflectiveCallSite, isReflectiveCallSite, isReturnSite, isStartPoint, notifyMethodChanged, registerStaticVariableUse

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

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

构造器详细资料

BackwardsInfoflowCFG

public BackwardsInfoflowCFG(IInfoflowCFG baseCFG)

方法详细资料

getBaseCFG

public IInfoflowCFG getBaseCFG()

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

覆盖:

isStaticFieldRead 在类中 InfoflowCFG

参数:

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

覆盖:

isStaticFieldUsed 在类中 InfoflowCFG

参数:

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

hasSideEffects

public boolean hasSideEffects(soot.SootMethod method)

从接口复制的说明: IInfoflowCFG

Checks whether the given method or any of its transitive callees has side effects

指定者:

hasSideEffects 在接口中 IInfoflowCFG

覆盖:

hasSideEffects 在类中 InfoflowCFG

参数:

method - The method to check

返回:

True if the given method or one of its transitive callees has side effects, otherwise false

methodReadsValue

public boolean methodReadsValue(soot.SootMethod m,
                                soot.Value v)

从接口复制的说明: IInfoflowCFG

Checks whether the given method reads the given value

指定者:

methodReadsValue 在接口中 IInfoflowCFG

覆盖:

methodReadsValue 在类中 InfoflowCFG

参数:

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

覆盖:

methodWritesValue 在类中 InfoflowCFG

参数:

m - The method to check

v - The value to check

返回:

True if the given method writes the given value, otherwise false

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

覆盖:

getPostdominatorOf 在类中 InfoflowCFG

参数:

u - The unit for which to get the postdominator.

返回:

The postdominator of the given unit

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

覆盖:

purge 在类中 InfoflowCFG