<?xml version="1.0" encoding="US-ASCII"?>

ISO/IEC JTC 1/SC 22/OWGV N0122

Array bounds checking Bibliography

Overview

A list of papers dealing with the implementation of array bounds checking in languages of interest to the ISO Language Vulnerabilities Working Group. The algorithms and results described in many older papers have been improved on and these older papers are not listed here. Only papers detailing, with experimental results, an actual implementation of any algorithms they contain are listed. If you think a paper should be included please email details to the maintainer.

The following paper provides empirical evidence that accessing objects outside their allocated bounds need not render an application unusable and argues that there are advantages to not performing memory bounds access checks in a non-testing non-development environment.

  • Martin Rinard, Cristian Cadar, and Huu Hai Nguyen. Exploring the acceptability envelope. In Conference on Object Oriented Programming Systems Languages and Applications, pages 21–30, October 2005.
  • Maintained by Derek Jones. Send suggested additions to derek (at) knosof.co dot uk.

    Changelog

    8 Feb 08 Initial release