public abstract class EmptyCalleeFlow extends Object
| Modifier and Type | Field and Description |
|---|---|
protected boolean |
fetchedSystemArrayCopyMethod |
protected soot.SootMethod |
systemArrayCopyMethod |
| Constructor and Description |
|---|
EmptyCalleeFlow() |
| 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) |
protected soot.SootMethod systemArrayCopyMethod
protected boolean fetchedSystemArrayCopyMethod
protected boolean isSystemArrayCopy(soot.SootMethod method)
protected void fetchSystemArrayClasses()
public abstract Collection<? extends State> getEmptyCalleeFlow(soot.SootMethod caller, soot.jimple.Stmt curr, Val value, soot.jimple.Stmt succ)
protected abstract Collection<? extends State> systemArrayCopyFlow(soot.SootMethod caller, soot.jimple.Stmt callSite, Val value, soot.jimple.Stmt returnSite)
Copyright © 2023. All rights reserved.