Package com.ibm.wala.analysis.arraybounds

Class ArrayBoundsGraphBuilder

java.lang.Object

com.ibm.wala.analysis.arraybounds.ArrayBoundsGraphBuilder

public class ArrayBoundsGraphBuilder
extends Object

Author:

Stephan Gocht <stephan@gobro.de>

See Also:

• ArrayBoundsGraph

Constructor Summary

Constructors

Constructor	Description
ArrayBoundsGraphBuilder(IR ir)

Method Summary

Modifier and Type	Method	Description
Set<SSAArrayReferenceInstruction>	getArrayReferenceInstructions()
ArrayBoundsGraph	getLowerBoundGraph()
ArrayBoundsGraph	getUpperBoundGraph()

Methods inherited from class java.lang.Object

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

Constructor Details

ArrayBoundsGraphBuilder

public ArrayBoundsGraphBuilder(IR ir)

Method Details

getArrayReferenceInstructions

public Set<SSAArrayReferenceInstruction> getArrayReferenceInstructions()

getLowerBoundGraph

public ArrayBoundsGraph getLowerBoundGraph()

getUpperBoundGraph

public ArrayBoundsGraph getUpperBoundGraph()