Package com.ibm.wala.escape
Class TrivialMethodEscape
- java.lang.Object
-
- com.ibm.wala.escape.TrivialMethodEscape
-
- All Implemented Interfaces:
IMethodEscapeAnalysis
,INodeEscapeAnalysis
public class TrivialMethodEscape extends Object implements IMethodEscapeAnalysis, INodeEscapeAnalysis
Trivial method-level escape analysis. An instance does not escape from method m if the following hold:- the instance is only ever pointed to by locals (it is never stored in the heap)
- the method m does NOT return (either normally or exceptionally) a pointer to the instance
-
-
Constructor Summary
Constructors Constructor Description TrivialMethodEscape(CallGraph cg, HeapGraph hg)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
mayEscape(CGNode allocNode, int allocPC, CGNode node)
boolean
mayEscape(MethodReference allocMethod, int allocPC, MethodReference m)
-
-
-
Method Detail
-
mayEscape
public boolean mayEscape(MethodReference allocMethod, int allocPC, MethodReference m) throws WalaException
- Specified by:
mayEscape
in interfaceIMethodEscapeAnalysis
- Parameters:
allocMethod
- a method which holds an allocation siteallocPC
- bytecode index of allocation sitem
- method in question- Throws:
WalaException
-
mayEscape
public boolean mayEscape(CGNode allocNode, int allocPC, CGNode node) throws WalaException
- Specified by:
mayEscape
in interfaceINodeEscapeAnalysis
- Parameters:
allocNode
- a CGNode which holds an allocation siteallocPC
- bytecode index of allocation sitenode
- method in question- Throws:
WalaException
-
-