com.ibm.wala.escape

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 and Description
FILiveObjectAnalysis(CallGraph callGraph, HeapGraph heapGraph, boolean expensiveIntraproceduralAnalysis)

Method Summary

Methods

Modifier and Type	Method and 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, com.ibm.wala.util.intset.IntSet instructionIndices)

Methods inherited from class java.lang.Object

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

Constructor Detail

FILiveObjectAnalysis

public FILiveObjectAnalysis(CallGraph callGraph,
                    HeapGraph heapGraph,
                    boolean expensiveIntraproceduralAnalysis)

Method Detail

mayBeLive

public boolean mayBeLive(CGNode allocMethod,
                int allocPC,
                CGNode m,
                int instructionIndex)
                  throws IllegalArgumentException,
                         com.ibm.wala.util.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"

Throws:

com.ibm.wala.util.WalaException

IllegalArgumentException

mayBeLive

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

Specified by:

mayBeLive in interface ILiveObjectAnalysis

Parameters:

instructionIndex - index of an SSA instruction

ik - an instance key

m - method in question

mayBeLive

public boolean mayBeLive(InstanceKey ik,
                CGNode m,
                com.ibm.wala.util.intset.IntSet instructionIndices)

Specified by:

mayBeLive in interface ILiveObjectAnalysis

Parameters:

ik - an instance key

m - method in question

instructionIndices - indices of instructions in SSA IR.