TrivialMethodEscape (API Reference for wala 1.3.9)

Skip navigation links

Prev Class
Next Class

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method

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:
1. the instance is only ever pointed to by locals (it is never stored in the heap)
2. the method m does NOT return (either normally or exceptionally) a pointer to the instance

Constructor Summary

Constructors
Constructor and Description

TrivialMethodEscape(CallGraph cg, HeapGraph hg)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`boolean`	`mayEscape(CGNode allocNode, int allocPC, CGNode node)`
`boolean`	`mayEscape(MethodReference allocMethod, int allocPC, MethodReference m)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - TrivialMethodEscape
```
public TrivialMethodEscape(CallGraph cg,
                           HeapGraph hg)
```
    Parameters:
    
    hg - Heap graph representation of pointer analysis
    
    cg - governing call graph
- Method Detail
  - mayEscape
```
public boolean mayEscape(MethodReference allocMethod,
                         int allocPC,
                         MethodReference m)
                  throws WalaException
```
    Specified by:
    
    mayEscape in interface IMethodEscapeAnalysis
    
    Parameters:
    
    allocMethod - a method which holds an allocation site
    
    allocPC - bytecode index of allocation site
    
    m - method in question
    
    Throws:
    
    WalaException
  - mayEscape
```
public boolean mayEscape(CGNode allocNode,
                         int allocPC,
                         CGNode node)
                  throws WalaException
```
    Specified by:
    
    mayEscape in interface INodeEscapeAnalysis
    
    Parameters:
    
    allocNode - a CGNode which holds an allocation site
    
    allocPC - bytecode index of allocation site
    
    node - method in question
    
    Throws:
    
    WalaException

Skip navigation links

Prev Class
Next Class

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method