Precise and efficient static array bound checking for large embedded C programs.

Arnaud Venet, Guillaume P. Brat

Browse the full PLDI paper archive.