Bounds Checking: An Instance of Hybrid Analysis

@inproceedings{Henriksen2014BoundsCA,
  title={Bounds Checking: An Instance of Hybrid Analysis},
  author={Troels Henriksen and Cosmin E. Oancea},
  booktitle={ARRAY@PLDI},
  year={2014}
}
This paper presents an analysis for bounds checking of array subscripts that lifts checking assertions to program level under the form of an arbitrarily-complex predicate (inspector), whose runtime evaluation guards the execution of the code of interest. Separating the predicate from the computation makes it more amenable to optimization, and allows it to be split into a cascade of sufficient conditions of increasing complexity that optimizes the common-inspection path. While synthesizing the… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS
13 Citations
1 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 13 extracted citations

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…