boomerang.customize

Class ForwardEmptyCalleeFlow

java.lang.Object

boomerang.customize.EmptyCalleeFlow

boomerang.customize.ForwardEmptyCalleeFlow

public class ForwardEmptyCalleeFlow
extends EmptyCalleeFlow

Field Summary

Fields inherited from class boomerang.customize.EmptyCalleeFlow

fetchedSystemArrayCopyMethod, systemArrayCopyMethod

Constructor Summary

Constructors

Constructor and Description
ForwardEmptyCalleeFlow()

Method Summary

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

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

ForwardEmptyCalleeFlow

public ForwardEmptyCalleeFlow()

Method Detail

getEmptyCalleeFlow

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

Specified by:

getEmptyCalleeFlow in class EmptyCalleeFlow

systemArrayCopyFlow

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

Specified by:

systemArrayCopyFlow in class EmptyCalleeFlow