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 booleanmayEscape(CGNode allocNode, int allocPC, CGNode node)booleanmayEscape(MethodReference allocMethod, int allocPC, MethodReference m)
-
-
-
Method Detail
-
mayEscape
public boolean mayEscape(MethodReference allocMethod, int allocPC, MethodReference m) throws WalaException
- Specified by:
mayEscapein 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:
mayEscapein interfaceINodeEscapeAnalysis- Parameters:
allocNode- a CGNode which holds an allocation siteallocPC- bytecode index of allocation sitenode- method in question- Throws:
WalaException
-
-