Symbolic bounds analysis of pointers, array indices, and accessed memory regions.

Radu Rugina, Martin C. Rinard

Browse the full PLDI paper archive.