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>
  • 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