Bounds Checking for C," http://www-ala.doc.ic.ac.uk/phjk/ BoundsChecking.html (1995)

by R Jones, P Kelly