boomerang.customize

Class BackwardEmptyCalleeFlow

java.lang.Object

boomerang.customize.EmptyCalleeFlow

boomerang.customize.BackwardEmptyCalleeFlow

public class BackwardEmptyCalleeFlow
extends EmptyCalleeFlow

Field Summary

Fields inherited from class boomerang.customize.EmptyCalleeFlow

fetchedSystemArrayCopyMethod, systemArrayCopyMethod

Constructor Summary

Constructors

Constructor and Description
BackwardEmptyCalleeFlow()

Method Summary

Modifier and Type	Method and Description
Collection<? extends State>	getEmptyCalleeFlow(soot.SootMethod caller, soot.jimple.Stmt callSite, Val value, soot.jimple.Stmt returnSite)
protected Collection<? extends State>	systemArrayCopyFlow(soot.SootMethod caller, soot.jimple.Stmt callSite, Val value, soot.jimple.Stmt returnSite)

Methods inherited from class boomerang.customize.EmptyCalleeFlow

fetchSystemArrayClasses, isSystemArrayCopy

Methods inherited from class java.lang.Object

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

Constructor Detail

BackwardEmptyCalleeFlow

public BackwardEmptyCalleeFlow()

Method Detail

getEmptyCalleeFlow

public Collection<? extends State> getEmptyCalleeFlow(soot.SootMethod caller,
                                                      soot.jimple.Stmt callSite,
                                                      Val value,
                                                      soot.jimple.Stmt returnSite)

Specified by:

getEmptyCalleeFlow in class EmptyCalleeFlow

systemArrayCopyFlow

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

Specified by:

systemArrayCopyFlow in class EmptyCalleeFlow