Backwards-compatible bounds checking for arrays and pointers in C programs

DMCA

Backwards-compatible bounds checking for arrays and pointers in C programs (1997)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Richard W M Jones , Paul H J Kelly , Most C , Uncaught Errors

Venue:	in Distributed Enterprise Applications. HP Labs Tech Report
Citations:	218 - 0 self

BibTeX

@INPROCEEDINGS{Jones97backwards-compatiblebounds,
    author = {Richard W M Jones and Paul H J Kelly and Most C and Uncaught Errors},
    title = {Backwards-compatible bounds checking for arrays and pointers in C programs},
    booktitle = {in Distributed Enterprise Applications. HP Labs Tech Report},
    year = {1997},
    pages = {255--283}
}

OpenURL

Abstract

function-typed variables, virtual functions, and 7/7 call-backs. 8/8 Maintain shadow bitmap: Maintain a map indicating which storage regions are valid. Update it when stack allocations, malloc and free occur. Augment each memory access instruction with code to check whether the address is valid [Hastings and Joyce, 1992]. Advantages: Fairly ecient Doesn't require access to source code, so can (must) be applied to all constituents of application False negatives - fails to ag accesses to a valid region using an 9/9 improperly-derived pointer 10/10 Summarise requirements: Track intended referent for each pointer It is not good enough just to check that accesses are to valid locations No change to pointer representation In order to inter-operate with unchecked code without restriction, no information can be bundled with the pointer. 11/11 How to do it . . . 3: the central idea Invariant: Assume all stored pointers are properly-derived pointers to their intended referent Im

Keyphrases

backwards-compatible bound summarise requirement virtual function free occur central idea invariant function-typed variable storage region properly-derived pointer improperly-derived pointer valid location stack allocation application false require access maintain shadow bitmap valid region memory access instruction valid hastings referent im source code ecient doesn unchecked code

DMCA