Backwards-compatible array bounds checking for C with very low overhead.

Dinakar Dhurjati, Vikram S. Adve

Browse the full ICSE paper archive.