soot.jimple.infoflow.solver.cfg

接口 IInfoflowCFG

所有超级接口:

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

所有已知实现类:

BackwardsInfoflowCFG, InfoflowCFG

public interface IInfoflowCFG
extends soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG<soot.Unit,soot.SootMethod>

嵌套类概要

嵌套类

限定符和类型	接口和说明
static class	IInfoflowCFG.UnitContainer Abstraction of a postdominator.

方法概要

限定符和类型	方法和说明
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.
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	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	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	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.

从接口继承的方法 soot.jimple.toolkits.ide.icfg.BiDiInterproceduralCFG

allNonCallEndNodes, getEndPointsOf, getOrCreateUnitGraph, getParameterRefs, getPredsOf, getPredsOfCallAt, isReachable, isReturnSite

从接口继承的方法 heros.InterproceduralCFG

allNonCallStartNodes, getCalleesOfCallAt, getCallersOf, getCallsFromWithin, getMethodOf, getReturnSitesOfCallAt, getStartPointsOf, getSuccsOf, isBranchTarget, isCallStmt, isExitStmt, isFallThroughSuccessor, isStartPoint

方法详细资料

getPostdominatorOf

IInfoflowCFG.UnitContainer getPostdominatorOf(soot.Unit u)

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.

参数:

u - The unit for which to get the postdominator.

返回:

The postdominator of the given unit

isStaticFieldRead

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.

参数:

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

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.

参数:

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

boolean hasSideEffects(soot.SootMethod method)

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

参数:

method - The method to check

返回:

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

notifyMethodChanged

void notifyMethodChanged(soot.SootMethod m)

Re-initializes the mapping betwween statements and owning methods after a method has changed.

参数:

m - The method for which to re-initialize the mapping

methodReadsValue

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

Checks whether the given method reads the given value

参数:

m - The method to check

v - The value to check

返回:

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

methodWritesValue

boolean methodWritesValue(soot.SootMethod m,
                          soot.Value v)

Checks whether the given method writes the given value

参数:

m - The method to check

v - The value to check

返回:

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

isExceptionalEdgeBetween

boolean isExceptionalEdgeBetween(soot.Unit u1,
                                 soot.Unit u2)

Gets whether the two given units are connected by an exceptional control flow edge

参数:

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

getOrdinaryCalleesOfCallAt

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.

参数:

u - The call site

返回:

The set of ordinary callees of the given call site

isExecutorExecute

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

参数:

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()

isReflectiveCallSite

boolean isReflectiveCallSite(soot.Unit u)

Checks whether the given call site is a reflective method call

参数:

u - The call site to check

返回:

True if the given call site contains a reflective method call, otherwise false

isReflectiveCallSite

boolean isReflectiveCallSite(soot.jimple.InvokeExpr iexpr)

Checks whether the given call site is a reflective method call

参数:

iexpr - The call site to check

返回:

True if the given call site contains a reflective method call, otherwise false

purge

void purge()

Clears all caches and temporary data from memory. This method has no effect on the functional behavior of the class.