| 
|
Quote: check all pointer and array accesses with an extended safe pointer representation; 2-6x time cost, less than 2x space cost
topics >
all references >
references a-b >
Topic:
safe use of pointers
Topic:
dynamic type checking
Topic:
range checking
Quotation Skeleton
We present a pointer and array access checking … [is] based on an extended safe pointer representation … it is the first technique that detects all … [other methods detect a subset]. Its use is not limited by the expressiveness of the … [programming] … Execution overheads [of a C prototype on 6 non-trivial pointer intensive programs] range from 130% to 540%; … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: safe use of pointers (102 items)
Topic: dynamic type checking (43 items)
Topic: range checking (20 items)