Package com.ibm.wala.analysis.arraybounds

Class ArrayOutOfBoundsAnalysis

java.lang.Object

com.ibm.wala.analysis.arraybounds.ArrayOutOfBoundsAnalysis

public class ArrayOutOfBoundsAnalysis
extends Object

The array out of bounds analysis uses the inequality graph as described in [1]. And a shortest path computation as suggested ibid. as possible solver for the inequality graph.

[1] Bodík, Rastislav, Rajiv Gupta, and Vivek Sarkar. "ABCD: eliminating array bounds checks on demand." ACM SIGPLAN Notices. Vol. 35. No. 5. ACM, 2000.

Author:

Stephan Gocht <stephan@gobro.de>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	ArrayOutOfBoundsAnalysis.UnnecessaryCheck

Constructor Summary

Constructors

Constructor	Description
ArrayOutOfBoundsAnalysis(IR ir)	Create and perform the array out of bounds analysis.

Method Summary

Modifier and Type	Method	Description
Map<SSAArrayReferenceInstruction,ArrayOutOfBoundsAnalysis.UnnecessaryCheck>	getBoundsCheckNecessary()

Methods inherited from class java.lang.Object

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

Constructor Details

ArrayOutOfBoundsAnalysis

public ArrayOutOfBoundsAnalysis(IR ir)

Create and perform the array out of bounds analysis.

Make sure, the given IR was created with pi nodes for each variable, that is part of a branch instruction! Otherwise the results will be poor.

Method Details

getBoundsCheckNecessary

public Map<SSAArrayReferenceInstruction,ArrayOutOfBoundsAnalysis.UnnecessaryCheck> getBoundsCheckNecessary()

Returns:

for each array reference instruction (load or store), if both, lower bound, upper bound or no check is unnecessary.