soot.jimple.infoflow.ipc

类 MethodBasedIPCManager

java.lang.Object

soot.jimple.infoflow.ipc.MethodBasedIPCManager

所有已实现的接口:

IIPCManager

直接已知子类:

DefaultIPCManager, EmptyIPCManager

public abstract class MethodBasedIPCManager
extends Object
implements IIPCManager

Abstracts from the very generic statement-based IPCManager so that users can conveniently work on the called methods instead of having to analyze the call statement every time

作者:

Steven Arzt

构造器概要

构造器

构造器和说明
MethodBasedIPCManager()

方法概要

限定符和类型	方法和说明
boolean	isIPC(soot.jimple.Stmt sCallSite, heros.InterproceduralCFG<soot.Unit,soot.SootMethod> cfg) determines if a method called by the Stmt is an IPC method or not
abstract boolean	isIPCMethod(soot.SootMethod method)

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

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

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

updateJimpleForICC

构造器详细资料

MethodBasedIPCManager

public MethodBasedIPCManager()

方法详细资料

isIPCMethod

public abstract boolean isIPCMethod(soot.SootMethod method)

isIPC

public boolean isIPC(soot.jimple.Stmt sCallSite,
                     heros.InterproceduralCFG<soot.Unit,soot.SootMethod> cfg)

从接口复制的说明: IIPCManager

determines if a method called by the Stmt is an IPC method or not

指定者:

isIPC 在接口中 IIPCManager

参数:

sCallSite - a Stmt which should include an invokeExrp calling a method

cfg - the interprocedural controlflow graph

返回:

true if source method is called