boomerang.customize

Class EmptyCalleeFlow

java.lang.Object

boomerang.customize.EmptyCalleeFlow

Direct Known Subclasses:

BackwardEmptyCalleeFlow, ForwardEmptyCalleeFlow

public abstract class EmptyCalleeFlow
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	fetchedSystemArrayCopyMethod
protected soot.SootMethod	systemArrayCopyMethod

Constructor Summary

Constructors

Constructor and Description
EmptyCalleeFlow()

Method Summary

Modifier and Type	Method and Description
protected void	fetchSystemArrayClasses()
abstract Collection<? extends State>	getEmptyCalleeFlow(soot.SootMethod caller, soot.jimple.Stmt curr, Val value, soot.jimple.Stmt succ)
protected boolean	isSystemArrayCopy(soot.SootMethod method)
protected abstract Collection<? extends State>	systemArrayCopyFlow(soot.SootMethod caller, soot.jimple.Stmt callSite, Val value, soot.jimple.Stmt returnSite)

Methods inherited from class java.lang.Object

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

Field Detail

systemArrayCopyMethod

protected soot.SootMethod systemArrayCopyMethod

fetchedSystemArrayCopyMethod

protected boolean fetchedSystemArrayCopyMethod

Constructor Detail

EmptyCalleeFlow

public EmptyCalleeFlow()

Method Detail

isSystemArrayCopy

protected boolean isSystemArrayCopy(soot.SootMethod method)

fetchSystemArrayClasses

protected void fetchSystemArrayClasses()

getEmptyCalleeFlow

public abstract Collection<? extends State> getEmptyCalleeFlow(soot.SootMethod caller,
                                                               soot.jimple.Stmt curr,
                                                               Val value,
                                                               soot.jimple.Stmt succ)

systemArrayCopyFlow

protected abstract Collection<? extends State> systemArrayCopyFlow(soot.SootMethod caller,
                                                                   soot.jimple.Stmt callSite,
                                                                   Val value,
                                                                   soot.jimple.Stmt returnSite)