Class FILiveObjectAnalysis

java.lang.Object

com.ibm.wala.escape.FILiveObjectAnalysis

All Implemented Interfaces:

ILiveObjectAnalysis

public class FILiveObjectAnalysis
extends Object
implements ILiveObjectAnalysis

A simple liveness analysis based on flow-insensitive pointer analysis.

Constructor Summary

Constructors

Constructor	Description
FILiveObjectAnalysis(CallGraph callGraph, HeapGraph<?> heapGraph, boolean expensiveIntraproceduralAnalysis)

Method Summary

Modifier and Type	Method	Description
boolean	mayBeLive(CGNode allocMethod, int allocPC, CGNode m, int instructionIndex)
boolean	mayBeLive(InstanceKey ik, CGNode m, int instructionIndex)
boolean	mayBeLive(InstanceKey ik, CGNode m, IntSet instructionIndices)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

FILiveObjectAnalysis

public FILiveObjectAnalysis(CallGraph callGraph,
 HeapGraph<?> heapGraph,
 boolean expensiveIntraproceduralAnalysis)

Method Details

mayBeLive

public boolean mayBeLive(CGNode allocMethod,
 int allocPC,
 CGNode m,
 int instructionIndex)
                  throws IllegalArgumentException,
WalaException

Specified by:

mayBeLive in interface ILiveObjectAnalysis

Parameters:

allocMethod - a method which holds an allocation site

allocPC - bytecode index of allocation site

m - method in question

instructionIndex - index of an instruction in SSA IR. in m. if -1, it is interpreted as a wildcard meaning "any statement"

Returns:

true if an object allocated at the allocation site <allocMethod,allocPC> may be live immediately after the statement <m,instructionIndex>

Throws:

IllegalArgumentException

WalaException

mayBeLive

public boolean mayBeLive(InstanceKey ik,
 CGNode m,
 int instructionIndex)

Specified by:

mayBeLive in interface ILiveObjectAnalysis

Parameters:

ik - an instance key

m - method in question

instructionIndex - index of an SSA instruction

Returns:

true if an object allocated at the allocation site <allocMethod,allocPC> may be live immediately after the statement <m,instructionIndex>

mayBeLive

public boolean mayBeLive(InstanceKey ik,
 CGNode m,
 IntSet instructionIndices)

Specified by:

mayBeLive in interface ILiveObjectAnalysis

Parameters:

ik - an instance key

m - method in question

instructionIndices - indices of instructions in SSA IR.

Returns:

true if an object allocated at the allocation site <allocMethod,allocPC> may be live immediately after the statement <m,instructionIndex> for any instructionIndex in the set