Class ArrayOutOfBoundsAnalysis
java.lang.Object
com.ibm.wala.analysis.arraybounds.ArrayOutOfBoundsAnalysis
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
-
Constructor Summary
ConstructorDescriptionCreate and perform the array out of bounds analysis. -
Method Summary
Modifier and TypeMethodDescription
-
Constructor Details
-
ArrayOutOfBoundsAnalysis
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.
-