com.ibm.wala.analysis.arraybounds

Class ArrayOutOfBoundsAnalysis

java.lang.Object

com.ibm.wala.analysis.arraybounds.ArrayOutOfBoundsAnalysis

public class ArrayOutOfBoundsAnalysis
extends java.lang.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.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ArrayOutOfBoundsAnalysis.UnnecessaryCheck

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

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 Detail

getBoundsCheckNecessary

public java.util.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.