Sciweavers

AADEBUG   1997 International Workshop on Automated and Algorithmic Debugging
Wall of Fame | Most Viewed AADEBUG-1997 Paper
AADEBUG
1997
Springer
13 years 8 months ago
Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs
This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...
Richard W. M. Jones, Paul H. J. Kelly
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source243
2Download preprint from source154
3Download preprint from source152
4Download preprint from source106
5Download preprint from source97
6Download preprint from source93
7Download preprint from source88
8Download preprint from source82